Follow-up Comment #1, bug #63215 (project make): Using 0 here still gives a random shuffle because 0 means "generate a new random number". However you're right that this is not correct because it doesn't allow us to recreate the random value.
Thanks for the note!
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?63215>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
