Subject: Re: [bug#35127] [PATCH] Add meritous.
From: Nicolas Goaziou <[email-masked]>
To: Ricardo Wurmus <[email-masked]>
Cc: [email-masked]
Date: Thu, 04 Apr 2019 14:51:42 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello,

Ricardo Wurmus <[email-masked]> writes:

> Thanks for the clarifications.  You can push this with these changes.

Pushed as 660e00507e308cdfe0bab681d95dc2cc07000b80. Thank you.

Regards,

-- 
Nicolas Goaziou