0.8000.15 protected

Daniel Baier

@BaierD

b6d396a8 · Merge branch 'develop' into 'trunk' · Oct 18, 2023

Update to 0.8000.15; Adds possibility to use git revisions for benchmark.py