Subject: Re: [bug#65820] [PATCH 0/3] gnu: Add vim-coqtail.
From: Ludovic Courtès <[email-masked]>
To: Jean-Pierre De Jesus DIAZ <[email-masked]>
Cc: [email-masked]
Date: Thu, 23 Nov 2023 11:35:31 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello,

Jean-Pierre De Jesus DIAZ <[email-masked]> skribis:

>   gnu: Add vim-vader.
>   gnu: Add coq-for-coqtail.
>   gnu: Add vim-coqtail.

Finally applied.  Thanks for the patches and for the explanations!

Ludo’.