Subject: Re: Filter for issues with(out) patch

From: jgart <[email-masked]>
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