Revision d2cc8a393a8fbe7f7c77fec5cedb1d9aa26d790f

Committed on 23/03/2018 7:01 pm by Guillaume Maïssa <guillaume@maissa.fr> [GitHub Diff]

wip: update CI commands