Merge branch 'micro' into minor
commite679a5c26ef31e028b7418da467eb72caafaf75c
authorMathieu Lirzin <mthl@gnu.org>
Thu, 31 Aug 2017 12:22:30 +0000 (31 14:22 +0200)
committerMathieu Lirzin <mthl@gnu.org>
Thu, 31 Aug 2017 12:22:30 +0000 (31 14:22 +0200)
treef3642d376380454a12574c70122d43153bb94af5
parent20e898dc2b2c6cf0f22dc25d33a2f258f0423e9c
parent9ec19184fe3df21f20417c4f73ffe46f9610b5c7
Merge branch 'micro' into minor
NEWS