Subject: [bug#63635] Merged duplicate

From: Felix Lechner <[email-masked]>
Date: Wed, 31 May 2023 07:49:53 -0700

Hi,

There is a merged duplicate to this bug that may be hidden in Mumi.
The two bugs are Bug#63793 and Bug#63635. The linkage may be easier to
see in Debbugs.

Kind regards
Felix