Subject: Never mind

From: Felix Lechner <[email-masked]>
Date: Sun, 18 Sep 2022 15:31:14 -0700

Hi,

My last comment was superseded by the closure of this related issue. [1]

Kind regards
Felix Lechner

[1] https://debbugs.gnu.org/cgi/bugreport.cgi?bug=57916#13