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