|
| From: | Ricardo Wurmus |
| Subject: | [bug#36018] [PATCH] gnu: emacs-idris-mode: Use recent git checkout. |
| Date: | Fri, 31 May 2019 10:14:30 +0200 |
| User-agent: | mu4e 1.2.0; emacs 26.2 |
Hi Eric, > From: Eric Bavier <address@hidden> > > * gnu/packages/emacs-xyz.scm (emacs-idris-mode)[source]: Use git-fetch. > [version]: Include revision and commit. LGTM! -- Ricardo
| [Prev in Thread] | Current Thread | [Next in Thread] |