[cmake] cleaning and preparing release#72
Merged
fabiencastan merged 38 commits intodevelopfrom Apr 12, 2020
Merged
Commits
Commits on Jan 30, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 31, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 3, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 4, 2020
Commits on Feb 13, 2020
- committed
- committed
Commits on Feb 21, 2020
- committed
Carsten Griwodz - authored