From: Rubén Beltran del Río <redacted>
Date: Tue, 26 Jun 2018 05:23:00 +0000 (+0000)
Subject: Use Gitlab Pipelines Instead of Travis CI
X-Git-Url: https://git.r.bdr.sh/rbdr/sumo/commitdiff_plain/8f039ab3784bc2390d9855b6f43b3c981f83b11c?ds=inline;hp=8f039ab3784bc2390d9855b6f43b3c981f83b11c

Use Gitlab Pipelines Instead of Travis CI
---