> From: Peter Seibel <peter@gigamonkeys.com>
> Date: Sat, 18 Jan 2025 08:01:25 -0800
> Cc: monnier@iro.umontreal.ca, arstoffel@gmail.com, 75336@debbugs.gnu.org
>
> Okay, here's a single patch. Cheers!

Thanks, installed on the master branch, and closing the bug.