Merge branch 'branch-5.8'
Change use of git branches. Now master always points to the latest development version. Each previous branch gets its own git-branch.
Merge branch 'branch-5.8'
Change use of git branches. Now master always points to the latest development version. Each previous branch gets its own git-branch.