Merge "Only add header when description not already has it"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 1 Mar 2018 09:56:20 +0000 (09:56 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 1 Mar 2018 09:56:20 +0000 (09:56 +0000)
commit30ec9d51c6c17cd47f25cc74a0517878ed18df10
tree7241507d8d433e15231be318b66ebefdca3caf43
parentf437870dbbb5a25523784263b7ee09e8e32e028b
parent17fcfd8eaa21c0dd0b554d2d4f225b412cf570c2
Merge "Only add header when description not already has it"