use random() directly in gen_process_id#438

Merged

isabelatkinson merged 2 commits intomongodb:mainfrom pdeva:patch-1

Nov 7, 2023

+2-2

Commits on Nov 3, 2023

use random() directly
pdeva
authored

Commits on Nov 7, 2023

format
isabelatkinson
committed