|
From: | GNU bug Tracking System |
Subject: | [debbugs-tracker] bug#37038: closed ([PATCH] Add Cedille.) |
Date: | Wed, 28 Aug 2019 15:49:03 +0000 |
Your message dated Wed, 28 Aug 2019 17:48:25 +0200 with message-id <address@hidden> and subject line Re: [bug#37038] Amending author email has caused the debbugs.gnu.org bug report #37038, regarding [PATCH] Add Cedille. to be marked as done. (If you believe you have received this mail in error, please contact address@hidden.) -- 37038: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=37038 GNU Bug Tracking System Contact address@hidden with problems
--- Begin Message ---Subject: [PATCH] Add Cedille. Date: Thu, 15 Aug 2019 16:07:49 +0000 HI all,I wanted to try out the Cedille language (cedille.github.io) so I packaged it. It has a nice emacs mode included and an interesting type theory.Thanks!- John0001-gnu-Add-agda-ial.patch
Description: Text Data0002-gnu-Add-cedille.patch
Description: Text Data
--- End Message ---
--- Begin Message ---Subject: Re: [bug#37038] Amending author email Date: Wed, 28 Aug 2019 17:48:25 +0200 User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (gnu/linux) Hi, John Soo <address@hidden> skribis: > I fixed the lint warnings from before and removed a dependency on git with > this patchset (along with the fill-paragraph magic). Perfect, I applied both after tweaking the commit log of the second patch. Apologies if I introduced a regression in agda-ial when I switched it to ‘git-fetch’! Thanks, Ludo’.
--- End Message ---
[Prev in Thread] | Current Thread | [Next in Thread] |