·
21 commits
to master
since this release
In 7.1.2 some minor changes were made, the most important one on the GUI. IN a number of cases where in 7.1.1 was chosen to use the right hand mouse click on an icon, this turned out to be rather inconvenient and not intuitive, so some buttons are now added
