Subject: Re: [bug#42114] [PATCH] gnu: Add plover.

From: Nicolas Goaziou <[email-masked]>
Date: Tue, 07 Jul 2020 18:52:25 +0200

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