bug#46425: closed ([PATCH] Updated nim to 1.4.2)

[GNU bug Tracking System]

Your message dated Thu, 11 Feb 2021 11:31:35 +0800
with message-id 
<OSZP286MB06640DD38FD47B97985D48B4A38C9@OSZP286MB0664.JPNP286.PROD.OUTLOOK.COM>
and subject line Re: [bug#46425] [PATCH] Updated nim to 1.4.2
has caused the debbugs.gnu.org bug report #46425,
regarding [PATCH] Updated nim to 1.4.2
to be marked as done.

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


-- 
46425: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=46425
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: [PATCH] Updated nim to 1.4.2 Date: Wed, 10 Feb 2021 18:17:14 +0200 User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.7.1

0001-Updated-nim-to-1.4.2.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#46425] [PATCH] Updated nim to 1.4.2
>
>
>
>
> Date: 
>
> Thu, 11 Feb 2021 11:31:35 +0800
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
>
>
>
>
> Pushed, thank you!
>
>
> --- End Message ---