Re: No notification e-mails from Gerrit

[R. Diez]

I fully agree! The relevant configuration knob found and tweaked, hope
it works properly now.
[...]
Thank you for bringing this up!

And thank you too for fixing it!