Merge "LogPager: separate getter from query filter"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 19 Sep 2019 19:07:34 +0000 (19:07 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 19 Sep 2019 19:07:34 +0000 (19:07 +0000)
commit02210976ab8a2d865c53df85dfb21dae2f0d709b
tree3a054419a37a1cf7c9921f7f2d632cdb6439f488
parent16e107c13c939cc092c12fe867916d05e9c97af7
parent15cc583cb6efca8bd1ac428fc8ba0ec3dc28cb7e
Merge "LogPager: separate getter from query filter"