[MediaWiki-commits] [Gerrit] Use lazyPush() instead of push() in a few places for jobs - change (mediawiki/core)

Aaron Schulz has uploaded a new change for review. https://gerrit.wikimedia.org/r/211752 Change subject: Use lazyPush() instead of push() in a few places for jobs .. Use lazyPush() instead of push() in a few places for jobs

[MediaWiki-commits] [Gerrit] Use lazyPush() instead of push() in a few places for jobs - change (mediawiki/core)

Aaron Schulz has submitted this change and it was merged. Change subject: Use lazyPush() instead of push() in a few places for jobs .. Use lazyPush() instead of push() in a few places for jobs Change-Id:

[MediaWiki-commits] [Gerrit] Use lazyPush() instead of push() in a few places for jobs - change (mediawiki/core)

Aaron Schulz has uploaded a new change for review. https://gerrit.wikimedia.org/r/211748 Change subject: Use lazyPush() instead of push() in a few places for jobs .. Use lazyPush() instead of push() in a few places for jobs

[MediaWiki-commits] [Gerrit] Use lazyPush() instead of push() in a few places for jobs - change (mediawiki/core)

Aaron Schulz has uploaded a new change for review. https://gerrit.wikimedia.org/r/211753 Change subject: Use lazyPush() instead of push() in a few places for jobs .. Use lazyPush() instead of push() in a few places for jobs

[MediaWiki-commits] [Gerrit] Use lazyPush() instead of push() in a few places for jobs - change (mediawiki/core)

jenkins-bot has submitted this change and it was merged. Change subject: Use lazyPush() instead of push() in a few places for jobs .. Use lazyPush() instead of push() in a few places for jobs Change-Id:

[MediaWiki-commits] [Gerrit] Use lazyPush() instead of push() in a few places for jobs - change (mediawiki/core)

jenkins-bot has submitted this change and it was merged. Change subject: Use lazyPush() instead of push() in a few places for jobs .. Use lazyPush() instead of push() in a few places for jobs Change-Id: