On Tuesday, 16 October 2018 at 22:18:13 UTC, Walter Bright wrote:
On 10/16/2018 1:16 PM, notna wrote:[...]We're not going to automatically close stale pull requests, nor are we going to arbitrarily close old unfixed bug reports.
Agreed, then there won't be those 5+ year old reports we can point to when an issue gets posted about on the forums and someone tells them to file a bug report.
