Merge #11649: Revert "Remove unused variable in shell script"
commitc838283ecdfb9490425bb071b7c22e542de46c7c
authorMarcoFalke <falke.marco@gmail.com>
Thu, 9 Nov 2017 22:02:02 +0000 (9 17:02 -0500)
committerMarcoFalke <falke.marco@gmail.com>
Thu, 9 Nov 2017 22:02:06 +0000 (9 17:02 -0500)
tree66a17d5fef7cc115098ea8cd6bd1610e162d06d2
parent5e9be169e430a6828b69f22ae9d47ecc1b2685c1
parentfa0025dc3cba52ad8fb2411b9d61ca5a1845025b
Merge #11649: Revert "Remove unused variable in shell script"

fa0025dc3 Revert "Remove unused variable in shell script" (MarcoFalke)

Pull request description:

  This partially reverts commit ab8e8b97a359e1c4f1bca8e1769021c95019f2c4 (#10771), as the variable is still used. See for example #11394.

Tree-SHA512: 1788d5471e1399d4a15d287cd8c41979833524e31b8fe61af8a7d20c9777828460d61ab87885a228ba7ca919f1d08703f4cb182d5840eb863e2154b3cf8ff4e6