Merge commit '1a164e0a83dd7c1b129aeef10cb3caff368ce850'
authorHendrik Leppkes <h.leppkes@gmail.com>
Mon, 7 Sep 2015 10:29:33 +0000 (12:29 +0200)
committerHendrik Leppkes <h.leppkes@gmail.com>
Mon, 7 Sep 2015 10:29:33 +0000 (12:29 +0200)
commita92bd1901fc0bdae562c2cd5e8b1ceddf1464370
tree0e69f29ba02721defe26380af648f9ee2b71e052
parentc8c9940f47458013a0b052cb0742ef9e98642b8a
parent1a164e0a83dd7c1b129aeef10cb3caff368ce850
Merge commit '1a164e0a83dd7c1b129aeef10cb3caff368ce850'

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

Merged-by: Hendrik Leppkes <h.leppkes@gmail.com>