Revision 035062e1728cec8d340b1eaf1f43019b31b658c3

Committed on 13/02/2018 9:04 am by Christophe Coevoet <stof@notk.org> [GitHub Diff]

Fix the CI build