Merge "Remove unused table pager icons"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 24 Oct 2017 18:04:33 +0000 (18:04 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 24 Oct 2017 18:04:34 +0000 (18:04 +0000)
commit118bbe7f04a2c82f979d5f3dd8d71dbbf6d7358c
treeb338193e7f15e6c934ffa1fb31ca946a30585ee8
parent5fa4cdf860c79b32ab6ef034c6d9420c2727f695
parentbc357ead61fe1a0a1b5c34d40f039fb80adfed6c
Merge "Remove unused table pager icons"