Merge branch 'release'
commitca238468c7d82435eabfbafea3956ad99eb8ad23
authorMathieu Lirzin <mthl@gnu.org>
Sun, 25 Feb 2018 21:26:28 +0000 (25 22:26 +0100)
committerMathieu Lirzin <mthl@gnu.org>
Sun, 25 Feb 2018 21:26:28 +0000 (25 22:26 +0100)
treef530fc501658a6cc29d10fa3d5d9c1c08b193766
parent006c4dfede96091f5bed622c17946cbec067347f
parent4f73bb80d1583441ed4a1c681a843fe4d9d5e26c
Merge branch 'release'