[08:16:36] <wikibugs>	 (03CR) 10Ladsgroup: [C: 03+2] Update delimiter for problematic flag insertion (031 comment) [extensions/ORES] - 10https://gerrit.wikimedia.org/r/626193 (https://phabricator.wikimedia.org/T248557) (owner: 10Matěj Suchánek)
[08:39:58] <wikibugs>	 (03Merged) 10jenkins-bot: Update delimiter for problematic flag insertion [extensions/ORES] - 10https://gerrit.wikimedia.org/r/626193 (https://phabricator.wikimedia.org/T248557) (owner: 10Matěj Suchánek)