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

[GNU bug Tracking System]

Your message dated Tue, 13 Dec 2022 13:53:01 +0000
with message-id <87lenbo1et.fsf@cbaines.net>
and subject line Re: [bug#59895] [PATCH 1/2] gnu: mercury: Update to 22.01.4.
has caused the debbugs.gnu.org bug report #59895,
regarding [PATCH 1/2] gnu: mercury: Update to 22.01.4.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
59895: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=59895
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [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
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: [bug#59895] [PATCH 1/2] gnu: mercury: Update to 22.01.4. Date: Tue, 13 Dec 2022 13:53:01 +0000 User-agent: mu4e 1.8.11; emacs 28.2

This seems good to me, I've pushed to master as
87638cdd48ccf9537e3e5bcc8156df7a38c1e54a.

Thanks,

Chris

signature.asc
Description: PGP signature

--- End Message ---