On 3/6/2021 1:19 AM, Imperatorn wrote: > On Tuesday, 19 January 2021 at 03:05:53 UTC, Walter Bright wrote: >> Please file a bug report! > > Checked just now. This is still not fixed. Anyone looking at it? Any guess what > the problem might be? 🤔 Nobody filed a bug report?