Ricardo Wurmus <ricardo.wur...@mdc-berlin.de> 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 <ricardo.wur...@mdc-berlin.de> > 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
