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

[Vincent Legoll]

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