Package: guix-patches;
Reported by: Congcong Kuo <congcong.kuo <at> gmail.com>
Date: Sun, 11 May 2025 15:44:03 UTC
Severity: normal
Done: Ludovic Courtès <ludo <at> gnu.org>
To reply to this bug, email your comments to 78375 AT debbugs.gnu.org.
There is no need to reopen the bug first.
Toggle the display of automated, internal messages from the tracker.
View this report as an mbox folder, status mbox, maintainer mbox
Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):
From: Congcong Kuo <congcong.kuo <at> gmail.com> To: guix-patches <at> gnu.org Subject: daemon: Replace random_shuffle() with shuffle() Date: Sun, 11 May 2025 17:24:02 +0800
[Message part 1 (text/plain, inline)]
[0001-Replace-random_shuffle-with-shuffle.patch (text/plain, attachment)]
Message #10 received at 78375-done <at> debbugs.gnu.org (full text, mbox):
From: Ludovic Courtès <ludo <at> gnu.org> To: Congcong Kuo <congcong.kuo <at> gmail.com> Cc: 78375-done <at> debbugs.gnu.org Subject: Re: [bug#78375] daemon: Replace random_shuffle() with shuffle(), [PATCH] Replace random_shuffle with shuffle Date: Mon, 12 May 2025 10:11:42 +0200
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.