|
| From: | Ludovic Courtès |
| Subject: | bug#30741: [PATCH] fix idris (was "Re: Incomplete work to upgrade Idris to 1.2.0") |
| Date: | Fri, 16 Mar 2018 11:56:18 +0100 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) |
Hi Alex, Alex ter Weele <address@hidden> skribis: > Reposting a properly-formatted patch series here. I pushed this yesterday evening, thanks! Ludo’.
| [Prev in Thread] | Current Thread | [Next in Thread] |