Thu, 28 Nov 2019 19:19:43 +0100 Gitlab-CI integration
Thierry Florac <tflorac@ulthar.net> [Thu, 28 Nov 2019 19:19:43 +0100] rev 26
Gitlab-CI integration
(0) -10 -1 +1 tip