Merge "postEdit: Simplify close button"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 28 Aug 2017 10:16:38 +0000 (10:16 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 28 Aug 2017 10:16:38 +0000 (10:16 +0000)
commit122b2c73fee44305ab760ad1beb57886f0855e27
tree3c4d46365b6b3560b322874d4ab5aea4bebed1bb
parent24ea37bf927ca32c1bb85adcaa0ea71ee95cce28
parent060d6719845bc7c517263fc8350dc636401f37cd
Merge "postEdit: Simplify close button"