Merge commit '1a164e0a83dd7c1b129aeef10cb3caff368ce850'

* commit '1a164e0a83dd7c1b129aeef10cb3caff368ce850':
  tools: Drop a stale header

Merged-by: Hendrik Leppkes <h.leppkes@gmail.com>
This commit is contained in:
Hendrik Leppkes 2015-09-07 12:29:33 +02:00
commit a92bd1901f

Diff Content Not Available