From 2db9b18f86400806a1b5594d8e2cbee7f3504969 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 16 Jan 2020 09:55:55 +0100
Subject: [PATCH] Remove sudo: true from .travis.yml

The build does nothing that should require sudo.
---
 .travis.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index f484382..2109490 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,5 +1,4 @@
 language: java
-sudo: true
 script: ./gradlew tla2b check uploadArchives
 
 before_install:
-- 
GitLab