changed milestone to %v0.9.3
added Bug CMake labels
requested review from @marcvef
assigned to @marcvef
approved this merge request
enabled an automatic merge when the pipeline for aa3e1872 succeeds
merged
mentioned in commit 1b23cfda