[08:42:45] <wikibugs_>	 (03CR) 10Ladsgroup: [C: 032] "With the other patch merged, this is good to go. I merge it. @Catrope: Do you want to take care of the schema change?" [extensions/ORES] - 10https://gerrit.wikimedia.org/r/367449 (owner: 10Catrope)
[08:44:41] <wikibugs_>	 (03Merged) 10jenkins-bot: Add index on oresc_probability [extensions/ORES] - 10https://gerrit.wikimedia.org/r/367449 (owner: 10Catrope)