[boost] [boost.random] Library maintenance

Subject: [boost] [boost.random] Library maintenance
From: Nikita Kniazev (nok.raven_at_[hidden])
Date: 2018-10-25 15:01:39

Random library has multiple PRs that hang for a long time already. Some of
them address warnings that poisons its usage and maintenance of other
libraries. Please consider placing Random under CMT.

https://github.com/boostorg/random/pull/35
https://github.com/boostorg/random/pull/26
https://github.com/boostorg/random/pull/31