[debbugs-tracker] bug#28216: closed ([PATCH 0/2] Add emacs-idris-mode.)

[GNU bug Tracking System]

Your message dated Thu, 31 Aug 2017 14:59:30 +0200
with message-id <address@hidden>
and subject line Re: [bug#28216] [PATCH 0/2] Add emacs-idris-mode.
has caused the debbugs.gnu.org bug report #28216,
regarding [PATCH 0/2] Add emacs-idris-mode.
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
28216: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=28216
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 0/2] Add emacs-idris-mode.
>
>
>
>
> Date: 
>
> Thu, 24 Aug 2017 13:50:14 +0200
>
>
>
>
> The following pathces add emacs-idris-mode, and a dependency.
>
> Peter Mikkelsen (2):
>   gnu: Add emacs-prop-menu.
>   gnu: Add emacs-idris-mode.
>
>  gnu/packages/emacs.scm | 58 ++++++++++++++++++++++++++++++++++++++++++++++++++
>  1 file changed, 58 insertions(+)
>
> --
> 2.14.1
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#28216] [PATCH 0/2] Add emacs-idris-mode.
>
>
>
>
> Date: 
>
> Thu, 31 Aug 2017 14:59:30 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/25.2 (gnu/linux)
>
>
>
>
> Peter Mikkelsen <address@hidden> skribis:
>
> > Peter Mikkelsen (2):
> >   gnu: Add emacs-prop-menu.
> >   gnu: Add emacs-idris-mode.
>
> Applied, thanks!
>
> Ludo’.
>
>
> --- End Message ---