From 83f758f178cd8aafe3a5abc2a8371161b263c047 Mon Sep 17 00:00:00 2001
From: Philipp Wendler <uni@philippwendler.de>
Date: Tue, 17 Feb 2015 18:11:53 +0100
Subject: [PATCH] Configure TravisCI email notifications.

---
 .travis.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.travis.yml b/.travis.yml
index 34ac3b5cb..3ed71c6e3 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -7,3 +7,6 @@ install:
   - pip install .
 script:
   - python setup.py test
+notifications:
+  email:
+    - benchexec-dev@googlegroups.com