Merging PRs using squash and merge

[Claus Ibsen]

Hi

When merging PRs from github, then remember to "squash and merge" so its
only 1 commit.


-- 
Claus Ibsen