01.00.01

Jens Georg

@jens.georg

31b0b513 · Bump patch version · Aug 11, 2022

New PATCH release 01.00.01

Changes since 01.00.00:
     Make compile with latest server HEAD
     Update server submodule
     Fix typo in installation folder
     Switch git submodule to https
     Fix .Jenkinsfile