[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Processed: Control message
|
From: |
GNU bug tracker automated control server |
|
Subject: |
Processed: Control message |
|
Date: |
Tue, 18 Jan 2022 01:04:02 -0500 |
Processing commands for control@debbugs.gnu.org:
> retitle 18274 additional tables/indices in manual for easier navigation
Bug #18274 [automake] [ENHANCEMENT] Additional Tables
Changed bug title to 'additional tables/indices in manual for easier
navigation' from '[ENHANCEMENT] Additional Tables'
> thankyou
Stopping processing here.
Please contact help-debbugs@gnu.org if you need assistance.
GNU bugs database, http://debbugs.gnu.org/
- Processed: Control message, GNU bug tracker automated control server, 2022/01/02
- Processed: Control message, GNU bug tracker automated control server, 2022/01/02
- Processed: Control message, GNU bug tracker automated control server, 2022/01/18
- Processed: Control message,
GNU bug tracker automated control server <=
- Processed: Control message, GNU bug tracker automated control server, 2022/01/18
- Processed: Control message, GNU bug tracker automated control server, 2022/01/19
- Processed: Control message, GNU bug tracker automated control server, 2022/01/19
- Processed: Control message, GNU bug tracker automated control server, 2022/01/21
- Processed: Control message, GNU bug tracker automated control server, 2022/01/22
- Processed: Control message, GNU bug tracker automated control server, 2022/01/22
- Processed: Control message, GNU bug tracker automated control server, 2022/01/25
- Processed: Control message, GNU bug tracker automated control server, 2022/01/27
- Processed: Control message, GNU bug tracker automated control server, 2022/01/30
- Processed: Control message, GNU bug tracker automated control server, 2022/01/31