bug-guix
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#72047: Filter for issues with(out) patch

From: jgart
Subject: bug#72047: 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
reply via email to
[Prev in Thread] Current Thread [Next in Thread]