gnubg - Bugs: bug #65691, Settings/Options/Dice/Random...
bug #65691: Settings/Options/Dice/Random number generator/Mersenne Twister not saved
History
No changes have been made to this item
Powered by Savane 3.16.
Corresponding source code
