[bug #63215] --shuffle=random doesn't properly initialize config.seed

[Paul D. Smith]

Follow-up Comment #3, bug #63215 (project make):

I've already incorporated it, with some slight differences.  Thanks!


    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?63215>

_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/