Subject: Filter for issues with(out) patch

From: Vincent Legoll <[email-masked]>
Date: Wed, 10 Jul 2024 20:33:11 +0000

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.

-- 
Vincent Legoll