bug#48953: closed (Improve Dino)

[GNU bug Tracking System]

Your message dated Tue, 22 Jun 2021 01:19:28 -0400
with message-id <59924d9f-6d0b-9f23-d0e7-caa45da4f035@raghavgururajan.name>
and subject line 
has caused the debbugs.gnu.org bug report #48953,
regarding Improve Dino
to be marked as done.

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


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

--- Begin Message --- Subject: [PATCH v1 00/03]: Improve Dino Date: Thu, 10 Jun 2021 21:00:06 -0400

OpenPGP_signature
Description: OpenPGP digital signature

--- End Message ---

--- Begin Message --- Date: Tue, 22 Jun 2021 01:19:28 -0400

Pushed as a1c7537548..adf485c815.

OpenPGP_signature
Description: OpenPGP digital signature

--- End Message ---