Adding proof file.
Merge branch 'feature1' into develop
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'
Merge branch 'hotfix-1.2.1' into develop
Getting close to finished.
Merge branch 'develop'