Subject: bug#73971: closed (Close)

From: [email-masked] (GNU bug Tracking System)
Date: Tue, 03 Dec 2024 09:50:03 +0000

Your bug report

#73971: Request for merging "gsl-upgrade" branch

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
73971: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=73971
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Close
From: Andreas Enge <[email-masked]>
To: [email-masked], [email-masked]
Cc: [email-masked]
Date: Tue, 3 Dec 2024 10:49:41 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Applied, closing the bug.

Andreas

Subject: Request for merging "gsl-upgrade" branch
From: Ludovic Courtès <[email-masked]>
To: [email-masked]
Date: Wed, 23 Oct 2024 18:24:56 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Looks like the “wip-” prefix in the branch name is interpreted by
qa.guix as a sign that this should be ignored, so I’m refiling
<https://issues.guix.gnu.org/73558> without the “wip-” prefix.  :-)

Ludo’.