Merge branch 'version-0.14.0'
authorLudovic Courtès <ludo@gnu.org>
Thu, 7 Dec 2017 16:16:05 +0000 (17:16 +0100)
committerLudovic Courtès <ludo@gnu.org>
Thu, 7 Dec 2017 16:16:05 +0000 (17:16 +0100)
1  2 
gnu/system/install.scm

Simple merge