<div dir="auto">I'll have a look when I'm back at my PC and see if I can exclude bugs reported by you.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, 19 Jan 2023, 8:57 pm Harald Sitter, <<a href="mailto:sitter@kde.org">sitter@kde.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Thu, Jan 19, 2023 at 4:05 AM Justin <<a href="mailto:justin.zobel@gmail.com" target="_blank" rel="noreferrer">justin.zobel@gmail.com</a>> wrote:<br>
> The gardening team aims to find out if the bug reports are still<br>
> relevant by involving the users who reported them in determining if they<br>
> are still valid.<br>
<br>
FWIW that probably doesn't work nearly as well as one would hope when<br>
the user is a developer. I for one just ignore the entire flood of<br>
ping comments. I'm 99% certain bugs I have reported have been closed<br>
as collateral damage.<br>
<br>
HS<br>
</blockquote></div>