Merge " Patches for tldk ci-management on the bootstrap.sh not found bug.6"
authorVanessa Rene Valderrama <[email protected]>
Thu, 15 Jun 2017 14:50:50 +0000 (14:50 +0000)
committerGerrit Code Review <[email protected]>
Thu, 15 Jun 2017 14:50:50 +0000 (14:50 +0000)

Trivial merge