Merge "tools: Add exec permissions on scripts" into 1.3-rel
authorMats Wichmann <mats@linux.com>
Sun, 10 Sep 2017 15:45:08 +0000 (15:45 +0000)
committerGerrit Code Review <gerrit@iotivity.org>
Sun, 10 Sep 2017 15:45:08 +0000 (15:45 +0000)

Trivial merge