Merge "De-duplicate HTMLCacheUpdate jobs with a page array of size 1"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 14 Sep 2017 12:36:52 +0000 (12:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 14 Sep 2017 12:36:52 +0000 (12:36 +0000)
commitc2dba7cf7e7cc7cd1473046a7c6b05d74ae289bb
tree70ab2fffe6b4575b9075e506bfc9c7704fda3223
parent9ae936b197eab3c65103abf55255cd9e918f0a9b
parentd0c373fdf2f28e9b541daa68e5b0e97666099dcf
Merge "De-duplicate HTMLCacheUpdate jobs with a page array of size 1"