[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#54053: [PATCH] gnu: mercury: Use #:select instead of comment string.
|
From: |
Raghav Gururajan |
|
Subject: |
bug#54053: [PATCH] gnu: mercury: Use #:select instead of comment string. |
|
Date: |
Wed, 27 Apr 2022 22:41:15 -0400 |
Pushed as f1d08be7af to master. Thanks for the patch.
Regards,
RG.
OpenPGP_signature
Description: OpenPGP digital signature
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#54053: [PATCH] gnu: mercury: Use #:select instead of comment string.,
Raghav Gururajan <=