[02:16:37] <Seawolf35>	 Can somebody run CI on https://gerrit.wikimedia.org/r/c/mediawiki/core/+/1054689 for me. Thanks!
[02:37:07] <JJMC89>	 running
[04:12:51] <Seawolf35>	 Could someone run CI on https://gerrit.wikimedia.org/r/c/mediawiki/core/+/1054689/5 for me. Thanks
[04:41:51] <Seawolf35>	 JJMC89 Thanks