Subject: [bug#59895] [PATCH 1/2] gnu: mercury: Update to 22.01.4.

From: jgart <[email-masked]>
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