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

[jgart via Bug reports for GNU Guix]

> 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