v1.7.2 is released

After almost 2 months since our last stable build, we decided to release v1.7.2. This release is a bugfix release, with a few performance improvements and a few new features.

Highlights of this release:

You can download the new version here. For the complete changes see the changelog.