[09:35:03] <Func>	 Hello, I got a +2 on https://gerrit.wikimedia.org/r/c/mediawiki/core/+/1240010 the day before yesterday, but the Jenkins bot seems to be stuck. Can someone help poke it a bit?
[09:58:30] <taavi>	 Func: done
[10:00:43] <Func>	 thanks