id,summary,reporter,owner,description,type,status,milestone,component,version,severity,resolution,keywords,cc 10939,Platform-specific random uuid generator,mjklaim@…,Andy Tompkins,"Following this exchange: https: //twitter.com/niv_anteru/status/487496938150195200 A platform-specific random generator would apparently be far more efficient (I say apparently because I didn't know there were platform-specific uuid generation until I read this tweet). ",Feature Requests,closed,Boost 1.66.0,uuid,Boost 1.57.0,Optimization,fixed,,