bug#43271: closed (gnu: metamath: Update to 0.192.)

[GNU bug Tracking System]

Your message dated Tue, 8 Sep 2020 12:14:50 +0300
with message-id <20200908091450.GI1643@E5400>
and subject line Re: [bug#43271] gnu: metamath: Update to 0.192.
has caused the debbugs.gnu.org bug report #43271,
regarding gnu: metamath: Update to 0.192.
to be marked as done.

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


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

--- Begin Message --- Subject: gnu: metamath: Update to 0.192. Date: Tue, 08 Sep 2020 18:10:01 +0900 User-agent: mblaze/0.7

txtU5Pqir34sN.txt
Description: Text Data

signature.asc
Description: PGP signature

--- End Message ---

--- Begin Message --- Subject: Re: [bug#43271] gnu: metamath: Update to 0.192. Date: Tue, 8 Sep 2020 12:14:50 +0300

Looks good. Patch pushed!

-- 
Efraim Flashner   <efraim@flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

signature.asc
Description: PGP signature

--- End Message ---