[17:32:55] <AaronSchulz>	 Krinkle: anything else for https://gerrit.wikimedia.org/r/c/mediawiki/core/+/771754/1 ?
[17:36:48] <Krinkle>	 AaronSchulz: replied
[17:59:18] <AaronSchulz>	 Krinkle: fixed
[17:59:32] <AaronSchulz>	 ugh, so many patches to get through
[22:50:27] <Krinkle>	 TimStarling: for later - the quick touched issue I found: https://phabricator.wikimedia.org/T295660