Merge "[bugfix] Fetch tag ID before calling undefineTag()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 17 Jun 2019 11:11:45 +0000 (11:11 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 17 Jun 2019 11:11:45 +0000 (11:11 +0000)
commitffefc47964b7f3dd08ca8a0cf503c81657bb8516
tree7ac5765fd41589059355e5dc9a7b350897d2c2c4
parent9c52f982d8e4679ee50973d233a61cdc9653f1fd
parent27cbfaa54f1e699b1b2f61ef2f33eff1c999819b
Merge "[bugfix] Fetch tag ID before calling undefineTag()"