[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Update Artanis.
From: |
Mathieu Lirzin |
Subject: |
Re: [PATCH] Update Artanis. |
Date: |
Mon, 21 Mar 2016 17:27:11 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) |
Ricardo Wurmus <address@hidden> writes:
> This patch updates GNU Artanis to the latest version. I also needed to
> set DESTDIR because the build system installs some files to
> “$DESTDIR/etc/”.
>
> ~~ Ricardo
>
>>From dd6f844687c44ff95a8f59ab047891e88e2f35b7 Mon Sep 17 00:00:00 2001
> From: Ricardo Wurmus <address@hidden>
> Date: Mon, 21 Mar 2016 15:56:00 +0100
> Subject: [PATCH] gnu: artanis: Update to 0.1.2.
>
> * gnu/packages/guile.scm (artanis): Update to 0.1.2.
> [arguments]: Set DESTDIR.
> ---
LGTM!
--
Mathieu Lirzin