Package: guix-patches;
Reported by: Karl Hallsby <karl <at> hallsby.com>
Date: Thu, 2 May 2024 15:37:01 UTC
Severity: normal
Tags: patch
Done: Ludovic Courtès <ludo <at> gnu.org>
Bug is archived. No further changes may be made.
Message #10 received at 70719-done <at> debbugs.gnu.org (full text, mbox):
From: Ludovic Courtès <ludo <at> gnu.org> To: Karl Hallsby <karl <at> hallsby.com> Cc: Julien Lepiller <julien <at> lepiller.eu>, 70719-done <at> debbugs.gnu.org Subject: Re: [bug#70719] [PATCH] gnu: tla2tools: Add UseParallelGC to Java command in wrapper scripts Date: Fri, 31 May 2024 13:48:33 +0200
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.