Merge branch 'fix-ctest-option-summary' into release