Skip to content
New release v0.7.2

This is a second bugfix release, to prevent the tests to interfere with
the user local config.

It also correctly set the app version number.