Skip to content

Merge branch 'feature/infrastructure-updates' into 'master'

Steffen Müthing requested to merge cherry-pick-44ad28d3 into releases/2.6

Infrastructure updates

See merge request !7 (merged)

(cherry picked from commit 44ad28d3)

f655c1d8 [doc] Update documentation 7b184a09 [cmake] Bump required version to 3.1.0 e8c5be3b [ci] Stop testing with Debian 8

Merge request reports