Revert "Remove unused variable in shell script"
commitfa0025dc3cba52ad8fb2411b9d61ca5a1845025b
authorMarcoFalke <falke.marco@gmail.com>
Thu, 9 Nov 2017 21:53:09 +0000 (9 16:53 -0500)
committerMarcoFalke <falke.marco@gmail.com>
Thu, 9 Nov 2017 21:49:25 +0000 (9 16:49 -0500)
tree66a17d5fef7cc115098ea8cd6bd1610e162d06d2
parent5e9be169e430a6828b69f22ae9d47ecc1b2685c1
Revert "Remove unused variable in shell script"

This partially reverts commit ab8e8b97a359e1c4f1bca8e1769021c95019f2c4
contrib/devtools/git-subtree-check.sh