GNU bug report logs - #72047
Filter for issues with(out) patch

Previous Next

Package: guix;

Reported by: Vincent Legoll <vincent.legoll <at> gmail.com>

Date: Wed, 10 Jul 2024 20:34:02 UTC

Severity: normal

Full log

Message #8 received at 72047 <at> debbugs.gnu.org (full text, mbox):

From: jgart <jgart <at> dismail.de>
To: 72047 <at> debbugs.gnu.org
Cc: Vincent Legoll <vincent.legoll <at> gmail.com>
Subject: Re: Filter for issues with(out) patch
Date: Thu, 11 Jul 2024 00:10:28 -0500

> It looks like there's no filter for issues that have (or lack) patches in
> any message.
> 
> I think that would be useful to have in mumi.

Hi Vincent,

I agree! Would you like to send a patch adding that?
-- 
all the best,
jgart
This bug report was last modified 1 year and 16 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.