[20:30:29] <RhinosF1>	 duesen: wondering if you could help get https://gerrit.wikimedia.org/r/c/mediawiki/services/poolcounter/+/971544 and https://gerrit.wikimedia.org/r/c/mediawiki/core/+/972724 merged pls
[20:30:36] <RhinosF1>	 Both tested and running on mh