[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: |
Wed, 17 Jan 2024 02:58:01 -0500 |
Processing commands for control@debbugs.gnu.org:
> merge 10303 10231
bug#10231: libtool.m4 makes the wrong shell (dash) run libtool
bug#10303: Problems in $(LIBTOOL) definition: wrong shell used
Merged 10231 10303.
> thankyou
Stopping processing here.
Please contact help-debbugs@gnu.org if you need assistance.
GNU bugs database, https://debbugs.gnu.org/
- Processed: Control message, (continued)
- Processed: Control message, GNU bug tracker automated control server, 2024/01/15
- Processed: Control message, GNU bug tracker automated control server, 2024/01/17
- Processed: Control message, GNU bug tracker automated control server, 2024/01/17
- Processed: Control message, GNU bug tracker automated control server, 2024/01/17
- Processed: Control message, GNU bug tracker automated control server, 2024/01/17
- Processed: Control message, GNU bug tracker automated control server, 2024/01/17
- Processed: Control message, GNU bug tracker automated control server, 2024/01/17
- Processed: Control message, GNU bug tracker automated control server, 2024/01/17
- Processed: Control message, GNU bug tracker automated control server, 2024/01/17
- Processed: Control message, GNU bug tracker automated control server, 2024/01/17
- Processed: Control message,
GNU bug tracker automated control server <=
- Processed: Control message, GNU bug tracker automated control server, 2024/01/17
- Processed: Control message, GNU bug tracker automated control server, 2024/01/17
- Processed: Control message, GNU bug tracker automated control server, 2024/01/18