|
From: | Paul D. Smith |
Subject: | [bug #63215] --shuffle=random doesn't properly initialize config.seed |
Date: | Tue, 18 Oct 2022 16:14:02 -0400 (EDT) |
Update of bug #63215 (project make): Status: None => Fixed Assigned to: None => psmith Open/Closed: Open => Closed Fixed Release: None => SCM Triage Status: None => Small Effort _______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?63215> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |