[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#70589: [PATCH] Refine the Custom type of generated '*-modes' options
|
From: |
Eshel Yaron |
|
Subject: |
bug#70589: [PATCH] Refine the Custom type of generated '*-modes' options |
|
Date: |
Sun, 28 Apr 2024 21:07:30 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
close 70589 30.1
quit
Stefan Monnier <monnier@iro.umontreal.ca> writes:
>>> 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.
All right then, closing again :)
bug#70589: [PATCH] Refine the Custom type of generated '*-modes' options, Eli Zaretskii, 2024/04/26
- bug#70589: [PATCH] Refine the Custom type of generated '*-modes' options, Eshel Yaron, 2024/04/26
- bug#70589: [PATCH] Refine the Custom type of generated '*-modes' options, Eli Zaretskii, 2024/04/26
- bug#70589: [PATCH] Refine the Custom type of generated '*-modes' options, Eshel Yaron, 2024/04/26
- bug#70589: [PATCH] Refine the Custom type of generated '*-modes' options, Eli Zaretskii, 2024/04/26
- bug#70589: [PATCH] Refine the Custom type of generated '*-modes' options, Eshel Yaron, 2024/04/26
- bug#70589: [PATCH] Refine the Custom type of generated '*-modes' options, Eli Zaretskii, 2024/04/26
- bug#70589: [PATCH] Refine the Custom type of generated '*-modes' options, Eshel Yaron, 2024/04/26
- bug#70589: [PATCH] Refine the Custom type of generated '*-modes' options, Eli Zaretskii, 2024/04/26