Follow-up Comment #2, bug #63215 (project make):
[comment #1 comment #1:]
> 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!
Should I send my suggested change as a patch to the mailing list or is a
different approach preferred?
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?63215>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
