Subject: bug#59131:

From: "(" <[email-masked]>
Date: Wed, 09 Nov 2022 19:50:59 +0000

Fixed independently of my patch by updating to that commit.

    -- (