From: Rubén Beltran del Río <redacted>
Date: Tue, 26 Jun 2018 05:23:00 +0000 (+0000)
Subject: Merge branch 'feature/rbdr-gitlab-pipeline' into 'develop'
X-Git-Url: https://git.r.bdr.sh/rbdr/sumo/commitdiff_plain/7b295172b67ee3f03c5da85953f9ca3b176aa135?hp=--cc

Merge branch 'feature/rbdr-gitlab-pipeline' into 'develop'

Use Gitlab Pipelines Instead of Travis CI

See merge request rbdr/sumo!12
---

7b295172b67ee3f03c5da85953f9ca3b176aa135