[random] pull requests stacking up

From: Jeff Garland (azswdude_at_[hidden])
Date: 2020-07-06 21:17:20

Just submitted a pull request for boost.random to remove dependence on
system library. There's 17 open requests -- some of which are pretty easy
maintenance items.  Can someone give these some a look?