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. *cough* D1 bug reports *cough*