test installed header files
requested to merge 1628-release-process-failed-to-detect-that-header-file-was-not-installed-v9_11 into v9_11
(cherry picked from commit a278b6bd)
Closes #1628 (closed)
Edited by Mark Andrews
(cherry picked from commit a278b6bd)
Closes #1628 (closed)