[12:40:23] <wikibugs>	 (03CR) 10Ladsgroup: [C: 03+2] Remove index hint for renamed page_time [extensions/ArticleFeedbackv5] - 10https://gerrit.wikimedia.org/r/653086 (https://phabricator.wikimedia.org/T270033) (owner: 10Umherirrender)
[13:11:53] <wikibugs>	 (03Merged) 10jenkins-bot: Remove index hint for renamed page_time [extensions/ArticleFeedbackv5] - 10https://gerrit.wikimedia.org/r/653086 (https://phabricator.wikimedia.org/T270033) (owner: 10Umherirrender)