Merge pull request #5100 from wigyori/for-15.05-tracertools
authorDaniel Golle <dangowrt@users.noreply.github.com>
Fri, 10 Nov 2017 17:26:32 +0000 (18:26 +0100)
committerGitHub <noreply@github.com>
Fri, 10 Nov 2017 17:26:32 +0000 (18:26 +0100)
CC: tracertools: use new git HEAD

Trivial merge