GNU bug report logs - #65820
[PATCH 0/3] gnu: Add vim-coqtail.

Previous Next

Package: guix-patches;

Reported by: Jean-Pierre De Jesus DIAZ <jean <at> foundationdevices.com>

Date: Fri, 8 Sep 2023 10:33:01 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

Full log

Message #19 received at 65820-done <at> debbugs.gnu.org (full text, mbox):

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

Hello,

Jean-Pierre De Jesus DIAZ <jean <at> foundationdevices.com> 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’.
This bug report was last modified 1 year and 183 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.