Let failed Jenkins builds set Verified: -1 in Gerrit?

[Stephan Bergmann]

On 23.02.2018 18:57, Christian Lohmaier wrote:
> Done - now jenkins' message should be sent to ALL (owner, reviewer and
> "interested" users (those who starred the change or watch another user
> on the changeset)

Doesn't seem to work.  For example, I didn't get any mails for any of 
yesterday's/today's Jenkins FAILURE/ABORTED comments to 
<https://gerrit.libreoffice.org/#/c/50115/>, even though I'm listed as 
reviewer there.