Merge branch 'version-1.0.1'
authorLudovic Courtès <ludo@gnu.org>
Mon, 20 May 2019 09:48:57 +0000 (11:48 +0200)
committerLudovic Courtès <ludo@gnu.org>
Mon, 20 May 2019 09:48:57 +0000 (11:48 +0200)
commit99f47b53f755f0a6cb15615c2b9a449a930e82e9
tree853674ba28bc780e7916b2ccf044285d71c770b8
parent8d036f3ecf3b837e8f38c2dca9f8a78568cc664b
parentfb2abbd6f5abac8ae0fec594594dd54ff7e3f4db
Merge branch 'version-1.0.1'