Bug fix over a year old

[Jonathan Marler]

On Monday, 3 June 2019 at 20:43:18 UTC, Walter Bright wrote:
> On 6/3/2019 1:19 PM, H. S. Teoh wrote:
>> It's common practice.  Doesn't make it right, though.
>
> We're not doing it. Although proposals come by now and then to 
> do such purges, I've been able to stop them before they've been 
> implemented.

I'm glad you maintain this view even after that article.  I agree 
bug reports shouldn't be closed unless they are actually fixed.