[11:33:28] <wikibugs>	 10serviceops, 10Graphoid, 10SRE, 10MW-1.35-notes (1.35.0-wmf.34; 2020-05-26), and 2 others: Undeploy graphoid - https://phabricator.wikimedia.org/T242855 (10Aklapper)
[21:45:48] <wikibugs>	 10serviceops, 10Release-Engineering-Team-TODO, 10SRE, 10Patch-For-Review, and 2 others: Upgrade MediaWiki clusters to Debian Buster (debian 10) - https://phabricator.wikimedia.org/T245757 (10Reedy) Is there a task (or should the be it?) for actually swapping from PHP 7.2 to... newer PHP (7.3 or whatever)?...