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,,