On Sunday, 13 December 2020 at 22:40:53 UTC, Paul Backus wrote:
This is definitely a bug.

filed as Issue 21480

Reply via email to