From aeea1211fb5ce5c2be6d0f49fdcd7d750e18af14 Mon Sep 17 00:00:00 2001
From: "Amir E. Aharoni" <amir.aharoni@mail.huji.ac.il>
Date: Tue, 4 Aug 2015 17:29:53 +0300
Subject: [PATCH] Add 'sudo: false' to upgrade to new Travis infrastructure

This is done according to
http://docs.travis-ci.com/user/migrating-from-legacy/

As far as I know we don't need sudo of any kind,
and the performance advantages listed there sound good.
---
 .travis.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.travis.yml b/.travis.yml
index 6e5919d..0e6d654 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,3 +1,4 @@
 language: node_js
 node_js:
   - "0.10"
+sudo: false