[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Processed: your mail
|
From: |
GNU bug tracker automated control server |
|
Subject: |
Processed: your mail |
|
Date: |
Tue, 07 Jun 2022 05:11:02 -0400 |
Processing commands for control@debbugs.gnu.org:
> retitle 54532 Faster sorting
Bug #54532 {Done: Stefan Kangas <stefan@marxist.se>} [emacs] [PATCH] sorting
Changed bug title to 'Faster sorting' from '[PATCH] sorting'
> severity 54532 wishlist
Bug #54532 {Done: Stefan Kangas <stefan@marxist.se>} [emacs] Faster sorting
Severity set to 'wishlist' from 'normal'
> thanks
Stopping processing here.
Please contact help-debbugs@gnu.org if you need assistance.
GNU bugs database, https://debbugs.gnu.org/
- Processed: your mail, GNU bug tracker automated control server, 2022/06/02
- Processed: your mail,
GNU bug tracker automated control server <=
- Processed: your mail, GNU bug tracker automated control server, 2022/06/12
- Processed: your mail, GNU bug tracker automated control server, 2022/06/13
- Processed: your mail, GNU bug tracker automated control server, 2022/06/15
- Processed: your mail, GNU bug tracker automated control server, 2022/06/16
- Processed: your mail, GNU bug tracker automated control server, 2022/06/16
- Processed: your mail, GNU bug tracker automated control server, 2022/06/16
- Processed: your mail, GNU bug tracker automated control server, 2022/06/16
- Processed: your mail, GNU bug tracker automated control server, 2022/06/16
- Processed: your mail, GNU bug tracker automated control server, 2022/06/16
- Processed: your mail, GNU bug tracker automated control server, 2022/06/19