Merge "Check line length of HISTORY"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 4 Apr 2019 00:08:32 +0000 (00:08 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 4 Apr 2019 00:08:32 +0000 (00:08 +0000)
commitdf115912224ea2b5343d56a3b33c60930c59eba3
treeec5ba68d350d5ed8908e64ad2524b821931cc7d8
parentb27567f03663f0eae42b96da0cca511bc8759e0b
parentbd292da07f146e7b66668945f24f91592c7f69fb
Merge "Check line length of HISTORY"