Minor release 1.3.1

We have now released a minor update 1.3.1. It mainly contains fixes for different network issues in relation to log in and license management.

For a short, but complete, list of changes see revision history.

Enjoy!