Subject: close?

From: Brendan Tildesley <[email-masked]>
Date: Sun, 21 Mar 2021 12:09:36 +0100 (CET)

Since 38408 has been pushed, can you close this one if the issue has been fixed?