[coreboot] Jenkins doesn't send emails anymore?

[Julius Werner]

I recently noticed that I never get Gerrit notification emails when
Jenkins sets a CL Verified+1 or Verified-1 anymore. It used to do
that. Does anyone know if this is some accidental/intentional change
on the server side (either with Gerrit or with Jenkins), or is that
something wrong in my configuration? I can't find any setting for
Gerrit on this and I'm pretty sure I don't have an email filter
affecting it either.

Not getting the Verified-1s is really annoying because then I never
notice my patches still need work and forget about them.