Re: "If you're still seeing problems, please reopen." [Was: bug#25148:]

[Dmitry Gutov]

On 17.11.2019 20:36, Lars Ingebrigtsen wrote:
> That's developer unfriendliness, not user unfriendliness, in my opinion.

No, we expect end users to file reports through Debbugs. And then, 
apparently, be able to close them.

> And I don't remember those details at all -- that's why we have
> debbugs-gnu, which is a lot friendlier (to me) than any web-based bug
> tracker.

That's for us, not them.