Merge branch 'feature/azureci'
authorPaul Brossier <piem@piem.org>
Fri, 5 Oct 2018 19:58:40 +0000 (21:58 +0200)
committerPaul Brossier <piem@piem.org>
Fri, 5 Oct 2018 19:58:40 +0000 (21:58 +0200)

Trivial merge