Merge "Remove EnhancedChangesList::arrow() and friends"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 18 Aug 2014 13:55:01 +0000 (13:55 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 18 Aug 2014 13:55:01 +0000 (13:55 +0000)
commitf65714dd9ce81e69272e4abb87a6499242f2365d
tree58bfc42e4a05f4ab439d1aa2ca00d8c68708d508
parent3d1972cc07b23a4750a50780d8912d24baa44cd5
parent07aef8f753be6b0860a855eeecb7f0f1a66ce9d9
Merge "Remove EnhancedChangesList::arrow() and friends"