https://bugzilla.wikimedia.org/show_bug.cgi?id=61310
Merlijn van Deen valhallasw@arctus.nl changed:
What |Removed |Added ---------------------------------------------------------------------------- CC| |valhallasw@arctus.nl
--- Comment #1 from Merlijn van Deen valhallasw@arctus.nl --- https://gerrit.wikimedia.org/r/#/c/113185/ should at least provide a workaround for this (the version will not be detected, but the bot should not crash...)