19.04.2022 11:51, Vincent Lefevre wrote: ..
Since there is no way to know whether there was any fix (or even any change that would make the issue disappear as a side effect), let's rather tag the bug as unreproducible.
Hi Vincent! Out of curiocity, what do you expect this bug staying like this to give us? Even you, as you report, were seeing the problem for only 20 minutes after which it disappeared, and it was quite some time ago, with a log has changed since that. I for one don't know what a maintainer has to do with this bug. In my work I tend to reduce the number of bugs open to some number which is possible to maintain. When the same bug which I know I have nothing to do is included in every next list in my to-do queue, it becomes annoying and with time I tend to look there less and less, so new bugs gets less chance to be dealt with. This is just my personal thing, I can't say for others... But anyway, how do you think it will be useful this way? Should it be closed after being marked "unreproducible" for some time maybe? Thanks, /mjt