maint: 'master' should be merged into 'next'
commit5f1e0dde32c4f42fe609433c42dcd6c412abb667
authorMathieu Lirzin <mthl@gnu.org>
Wed, 20 Sep 2017 10:50:25 +0000 (20 12:50 +0200)
committerMathieu Lirzin <mthl@gnu.org>
Fri, 22 Sep 2017 08:28:04 +0000 (22 10:28 +0200)
treeb29e6789ec8628484765451e1c0a01d90ef705dd
parent8191abac8ac55fd77dda99d3af4977938af2f748
maint: 'master' should be merged into 'next'

* HACKING: Fix instructions merge instructions.
HACKING