[Bug libstdc++/124256] Random number generator generates different numbers for the same seed, compared to all previous GCC versions

[carlosgalvezp at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124256

--- Comment #5 from Carlos Galvez <carlosgalvezp at gmail dot com> ---
Alright, thanks! Feel free to close this ticket as a non-bug.