From 3c1a65235c9c1b56a51bbda013286d2640f8cf3a Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Thu, 1 Aug 2013 16:08:58 -0700
Subject: [PATCH] Update .travis.yml to send build logs only to leansmt-dev
 list.

---
 .travis.yml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 63225d51c..86d4c02fe 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -55,8 +55,6 @@ install:
 notifications:
   email:
     recipients:
-    - soonhok@cs.cmu.edu
-    - leonardo@microsoft.com
     - leansmt-dev@googlegroups.com
     on_success: always
     on_failure: always