Subject: Bug is already fixed!

From: Bruce Stephens <[email-masked]>
Date: Thu, 23 Feb 2023 20:57:11 +0000

Also it's a duplicate of #61635. (I was just unlucky in building a
little before the bug was fixed.)