This is not correct since 1.7 has been released a long while ago.

We could write 1.7.2 (because this is what you get if you compile the master branch now), however that might be bewildering as there is no 1.7.2 release to download/install.

@jspricke What is the common practice?