|
| From: | jgart |
| Subject: | [bug#59895] [PATCH 1/2] gnu: mercury: Update to 22.01.4. |
| Date: | Wed, 7 Dec 2022 23:59:58 -0600 |
hi, This patch updates mercury to the latest release version. This took a while to build. all best, jgart
| [Prev in Thread] | Current Thread | [Next in Thread] |