bug-make
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Paul D. Smith
Subject: [bug #63215] --shuffle=random doesn't properly initialize config.seed
Date: Tue, 18 Oct 2022 09:55:49 -0400 (EDT)

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/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]