Last modified: 2014-11-13 20:08:26 UTC
We should just thank them anyway and record the error.
Change 172934 had a related patch set uploaded by Kaldari: Making sure that user is thanked regardless of EventLogging success https://gerrit.wikimedia.org/r/172934
Change 172934 merged by jenkins-bot: Making sure that user is thanked regardless of EventLogging success https://gerrit.wikimedia.org/r/172934