From d4e6925334c2db366dca85bf04b38ecf73a5af70 Mon Sep 17 00:00:00 2001
From: Alexander Sulfrian <alexander.sulfrian@fu-berlin.de>
Date: Thu, 17 Aug 2017 16:51:11 +0200
Subject: travis-ci: Use the new default dist

Since 2017-07-18 the default dist is changing to trusty[1]. Just using the
new default before the switch.

1: https://blog.travis-ci.com/2017-07-11-trusty-as-default-linux-is-coming
---
 .travis.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.travis.yml b/.travis.yml
index 4d5d00f4a..022201bab 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,4 +1,5 @@
 sudo: false
+dist: trusty
 language: python
 
 packages: &build_deps_optional
-- 
cgit v1.2.3-1-g7c22