|
From: | Danny Milosavljevic |
Subject: | Re: [PATCH 1/2] gnu: ldc: Rename ldc 0.17.2 to ldc-bootstrap. |
Date: | Fri, 10 Feb 2017 12:16:07 +0100 |
Applied as beffaf9a124e846eddd1519020c08ec6628fcd78 and pushed.
[Prev in Thread] | Current Thread | [Next in Thread] |