jenkins-bot has submitted this change and it was merged. Change subject: Merge master into wmf_deploy ......................................................................
Merge master into wmf_deploy 641cda3e9a8cbe7eefed75f0679057a32e1db0a8 Don't use UNIX timestamp for wgNoticeOldCookieApocalypse config 37473be4b4ca309c1f465e60b95c6f5c51199109 Deprecate old GeoIP HEAD thing 329443f9b3562bc776c6382a09e4552125d21152 No need to quantize throttling any more. 87a5f77199e5b1101a8b5f9de6ad615ef4eaafc2 Move subselects into the main pager query 33ed46b89bd2c1735ff26a85fa004f0c2d2dd79b Simplify Campaign editor banner list 5b4a0802f1cd7046df19cd3d018a86599c7da3de Small fixups a12c95e830cc8998f0d1aba2339f6611efb36697 Revert "Don't insert banner for bots" Change-Id: I4c870759c11f2c1af94d6593fa5a64c9ce159094 --- 0 files changed, 0 insertions(+), 0 deletions(-) Approvals: Awight: Looks good to me, approved jenkins-bot: Verified -- To view, visit https://gerrit.wikimedia.org/r/177672 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I4c870759c11f2c1af94d6593fa5a64c9ce159094 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/CentralNotice Gerrit-Branch: wmf_deploy Gerrit-Owner: Awight <[email protected]> Gerrit-Reviewer: Awight <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
