|
| From: | jgart |
| Subject: | [bug#59895] [PATCH 1/2] gnu: mercury: Update to 22.01.4. |
| Date: | Tue, 13 Dec 2022 10:24:10 -0600 |
On Tue, 13 Dec 2022 13:53:01 +0000 Christopher Baines <mail@cbaines.net> wrote: > > This seems good to me, I've pushed to master as Thanks! all best, jgart
| [Prev in Thread] | Current Thread | [Next in Thread] |