tree eb8be8e9d8991ec7cfd8fb6b2b3a2ab15616a776
parent 3b6d32e7738561b9bd9ec4ffc32667f0319a8632
author Damien Martin-Guillerez <dmarting@google.com> 1508791259 +0200
committer Damien Martin-guillerez <dmarting@google.com> 1509716713 +0000

Stop sending mails

This was broken for some time (at one point just because the name
of the parameters was wrong) so do not send mail ; nobody reads them anyway.

Fixes #107.
Fixes #108.

Change-Id: I29ab256349360fe7ab1cdb723e7dfe400eed4fde