Package: guix-patches;
Reported by: Rick Huijzer <ikbenrickhuyzer <at> gmail.com>
Date: Tue, 16 Jul 2024 15:23:02 UTC
Severity: normal
Tags: patch
Message #11 received at 72142 <at> debbugs.gnu.org (full text, mbox):
From: "jgart" <jgart <at> dismail.de> To: "Rick Huijzer" <ikbenrickhuyzer <at> gmail.com>, 72142 <at> debbugs.gnu.org Cc: Sharlatan Hellseher <sharlatanus <at> gmail.com>, Rick Huijzer <ikbenrickhuyzer <at> gmail.com>, Munyoki Kilyungi <me <at> bonfacemunyoki.com>, Lars-Dominik Braun <lars <at> 6xq.net>, Marius Bakke <marius <at> gnu.org>, Tanguy Le Carrour <tanguy <at> bioneland.org> Subject: Re: [bug#72142] [PATCH v1] Fix formatting, boost not needed in python-rtmidi Date: Thu, 18 Jul 2024 16:38:54 +0000
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.