Subject: Re: [bug#40299] [PATCH] gnu: Add emacs-company-coq.
From: Nicolas Goaziou <[email-masked]>
To: John Soo <[email-masked]>
Cc: [email-masked]
Date: Mon, 30 Mar 2020 14:38:44 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello,

John Soo <[email-masked]> writes:

> Company-coq is indispensable when working in coq for me.

I slightly expounded the description and applied your patch as
f931d46ce3e342f53dee926d3cff70b081f58e5f.

Thank you!

Regards,

-- 
Nicolas Goaziou