[21:29:53] <wikibugs>	 10serviceops, 10MW-1.40-notes (1.40.0-wmf.6; 2022-10-17), 10PHP 7.4 support, 10Patch-For-Review, 10Platform Team Workboards (Clinic Duty Team): Rename articles and users to update our case mapping to PHP 7.4 and Unicode 11 - https://phabricator.wikimedia.org/T292552 (10tstarling) I notified those 8 users...
[21:30:40] <wikibugs>	 10serviceops, 10MW-1.40-notes (1.40.0-wmf.6; 2022-10-17), 10PHP 7.4 support, 10Patch-For-Review, 10Platform Team Workboards (Clinic Duty Team): Rename articles and users to update our case mapping to PHP 7.4 and Unicode 11 - https://phabricator.wikimedia.org/T292552 (10tstarling)