diff --git a/mps/.travis.yml b/mps/.travis.yml index 387bfabda7b..2f7914ab42e 100644 --- a/mps/.travis.yml +++ b/mps/.travis.yml @@ -2,3 +2,6 @@ # $Id$ # See . language: c +notifications: + email: + - mps-travis@ravenbrook.com