Merge commit '15fcf6292ed79be274c824fedb099c2665f4cc15'
authorClément Bœsch <u@pkh.me>
Mon, 20 Mar 2017 17:30:03 +0000 (18:30 +0100)
committerClément Bœsch <u@pkh.me>
Mon, 20 Mar 2017 17:30:03 +0000 (18:30 +0100)
* commit '15fcf6292ed79be274c824fedb099c2665f4cc15':
  build: remove hardcoded name of version header

This commit is noop, our version.sh is completely different.

Merged-by: Clément Bœsch <u@pkh.me>

Trivial merge