Merge "parser: Don't unnecessarily add and remove a pipe "
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 16 May 2018 16:51:38 +0000 (16:51 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 16 May 2018 16:51:38 +0000 (16:51 +0000)
commit1d1633307af930d5465ba85ee099a057399065ca
tree97f692d18abdaab0db1628f404e2eb8dcb4642fe
parent81a7885a4556899b6c7af609a720fdc588628662
parent5970ecec86121a95bb19bcc27ffb934ba7e9cb1f
Merge "parser: Don't unnecessarily add and remove a pipe "