[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Processed: Re: bug#70589: [PATCH] Refine the Custom type of generated '*
|
From: |
GNU bug tracker automated control server |
|
Subject: |
Processed: Re: bug#70589: [PATCH] Refine the Custom type of generated '*-modes' options |
|
Date: |
Sun, 28 Apr 2024 15:08:03 -0400 |
Processing commands for control@debbugs.gnu.org:
> close 70589 30.1
bug#70589: [PATCH] Refine the Custom type of generated '*-modes' options
bug marked as fixed in version 30.1, send any further explanations to
70589@debbugs.gnu.org and Eshel Yaron <me@eshelyaron.com>
> quit
Stopping processing here.
Please contact help-debbugs@gnu.org if you need assistance.
GNU bugs database, https://debbugs.gnu.org/