reopen 72787 thanks > From: Eshel Yaron <m...@eshelyaron.com> > Cc: Stefan Monnier <monn...@iro.umontreal.ca>, michael_heerde...@web.de, > 72787-d...@debbugs.gnu.org, pip...@protonmail.com > Date: Sun, 01 Sep 2024 19:41:47 +0200 > > Thanks, but the issue remains, so shouldn't the bug remain open as well?
I reopened it.
