[19:19:10] <wm-bot>	 DEBUG Exception in plugin Statistics: Collection was modified;enumeration operation may not execute. last input was gerrit-wm chan: #wikimedia-dev Change merged: Jeroen De Dauw; [mediawiki/extensions/Validator] (master) - https://gerrit.wikimedia.org/r/67618