Bug fix over a year old

[Seb]

On Saturday, 10 August 2019 at 21:22:52 UTC, Walter Bright wrote:
> On 8/10/2019 6:10 AM, Exil wrote:
>> On Saturday, 10 August 2019 at 07:57:04 UTC, Walter Bright 
>> wrote:
>>> On 6/4/2019 7:26 AM, Exil wrote:
>>>> The bigger problem is how it is completely unmanaged. 
>>>> There's no one that reviews the reported issues and sets a 
>>>> severity level. That's all set by whoever makes the report. 
>>>> I've come across a few issues that are solved, either that 
>>>> they always worked and were never really issues. Or they 
>>>> were inadvertently fixed by something else.
>>>
>>> Did you update their bugzilla status?
>> 
>> Nope, I've closed reports in the past that were duplicates, 
>> had no replies or any interest.
>
> Closing issues that have no replies or interest is not helpful. 
> I asked if you updated the status for issues that are solved or 
> always worked.

That's not true in the general case: there are many issues where 
you can't reach the reporter and he didn't leave a way to 
reproduce the issue. Then, there's simply no hope to fix the 
issue.