Subject: Re: [bug#42114] [PATCH] gnu: Add plover.
From: Nicolas Goaziou <[email-masked]>
To: Mathieu Othacehe <[email-masked]>
Cc: [email-masked]
Date: Tue, 07 Jul 2020 18:52:25 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello,

Mathieu Othacehe <[email-masked]> writes:

> You're right, I was fooled by Ubuntu which is packaging a development
> version[1]. Feel free to proceed with your patch.

Applied. I'll keep an eye on the 4.0 release.

Thank ou for the review.

Regards,
-- 
Nicolas Goaziou