Steven Watanabe dac48f62a8 Use system_error in random_device. Fixes #8245.		2014-03-13 15:20:35 -07:00
..
boost	Use system_error in random_device. Fixes #8245.	2014-03-13 15:20:35 -07:00