From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Mon, 16 Dec 2013 19:34:38 +0000 (-0500)
Subject: Send Travis-CI emails to everyone
X-Git-Tag: cvc5-1.0.0~6987^2~30
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6b0e8bdbe37c3a04ba43fb379270df4726502a63;p=cvc5.git

Send Travis-CI emails to everyone
---

diff --git a/.travis.yml b/.travis.yml
index aabb37762..8acc8a546 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -33,6 +33,5 @@ matrix:
   fast_finish: true
 notifications:
   email:
-    recipients: mdeters@cs.nyu.edu
     on_success: change
     on_failure: always