Subject: whoops, this bug is redundant

From: Brian Cully <[email-masked]>
Date: Thu, 12 Jan 2023 20:58:16 -0500

I accidentally sent a new bug report instead of responding to 
#60636. Can someone close this?

-- 
-bjc