[boost] [random] release notes?