Subject: Re: bug#70589: [PATCH] Refine the Custom type of generated '*-modes' options

From: Stefan Monnier <[email-masked]>
Date: Sat, 27 Apr 2024 17:03:05 -0400

>> Thanks, so I've now pushed it to master.  I'm not closing the bug yet,
>> in favor of your additional suggestion below.
> Sorry, I mistakenly closed the bug nonetheless.  Reopening.

FWIW, I think we can close it: the bug was about improving the Custom
type and that's done.

        Stefan