[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: |
Sun, 13 Jun 2021 11:35:02 -0400 |
Processing commands for control@debbugs.gnu.org:
> retitle 48953 Improve Dino
Bug #48953 [guix-patches] [PATCH v1 00/03]: Improve Dino
Changed bug title to 'Improve Dino' from '[PATCH v1 00/03]: Improve Dino'
>
End of message, stopping processing here.
Please contact help-debbugs@gnu.org if you need assistance.
GNU bugs database, http://debbugs.gnu.org/
- Processed: your mail, GNU bug tracker automated control server, 2021/06/04
- Processed: your mail, GNU bug tracker automated control server, 2021/06/06
- Processed: your mail, GNU bug tracker automated control server, 2021/06/09
- Processed: your mail, GNU bug tracker automated control server, 2021/06/12
- Processed: your mail,
GNU bug tracker automated control server <=
- Processed: your mail, GNU bug tracker automated control server, 2021/06/20
- Processed: your mail, GNU bug tracker automated control server, 2021/06/28
- Processed: your mail, GNU bug tracker automated control server, 2021/06/30