Merge branch 'minor'
commit7508174f4a6c19eeda89a7e18b8d1398fe85ccf0
authorMathieu Lirzin <mthl@gnu.org>
Tue, 19 Sep 2017 22:08:59 +0000 (20 00:08 +0200)
committerMathieu Lirzin <mthl@gnu.org>
Tue, 19 Sep 2017 22:08:59 +0000 (20 00:08 +0200)
tree2938ba28267cfc6d6cba0b763f80e4b32ce49b03
parentc2757b974cb4c182333859edb45a01194550bc0e
parentced195a8556b68eab3dd0887e07a97c6ae4917bf
Merge branch 'minor'