[07:48:28] <Amir1>	 TimStarling: hi, can you take a look at https://gerrit.wikimedia.org/r/792213 ? it's straightforward and fixes a rather large problem caused by the actor migration
[22:17:04] <Krinkle>	 duesen: I amended https://gerrit.wikimedia.org/r/c/mediawiki/core/+/792627 to reflect/confirm my understanding, please confirm, LGTM otherwise.