Included minor ommitance in proof.
Included minor ommitance in proof.
Merge branch 'release-1.2'
adding some to the release steps
Merge branch 'release-1.2' into develop
Starting the Hotfix workflow
Almost finished with the proof
Merge branch 'hotfix-1.2.1' into develop
Getting close to finished.