From ee133e9e1e373ff5cc8a533f9944a8ef8eea1fc0 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Thu, 1 Aug 2013 13:48:15 -0700
Subject: [PATCH] Update .travis.yml to send an email to the mailing list
 (leansmt-dev@googlegroups.com)

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

diff --git a/.travis.yml b/.travis.yml
index 3c97afda03..63225d51cb 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -57,5 +57,6 @@ notifications:
     recipients:
     - soonhok@cs.cmu.edu
     - leonardo@microsoft.com
+    - leansmt-dev@googlegroups.com
     on_success: always
     on_failure: always