Merge "pagers: Remove unused "form" properties from two pagers"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 19 Feb 2019 21:34:50 +0000 (21:34 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 19 Feb 2019 21:34:50 +0000 (21:34 +0000)
commit782624d002edb7dd4860549251a1aae65d7c62e2
treee4b523c2e491814a0370afc830a84b8f6cac05be
parent76e300f46cea939bccead85cd69f4f9d11681326
parent34abcda0c1c73fdd234ada7484c47990285aad56
Merge "pagers: Remove unused "form" properties from two pagers"