Close

December 26, 2020

Updated main branch

In git the main (master) branch is now updated with the very latest develop branch changes. So from now on the master branch is the place to look for.

Future issues will be developed in separate feature branches and merged back.