Merge remote-tracking branch 'remotes/kanaka/master' into improve-mal-impl-macro...
authorNicolas Boulenguez <nicolas.boulenguez@free.fr>
Mon, 15 Jul 2019 17:49:33 +0000 (19:49 +0200)
committerNicolas Boulenguez <nicolas.boulenguez@free.fr>
Mon, 15 Jul 2019 17:49:33 +0000 (19:49 +0200)

Trivial merge