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