Minimal backport of https://github.com/DOCGroup/ACE_TAO/pull/2513#2516

jwillemsen merged 1 commit intoDOCGroup:ace6tao2DOCGroup/ACE_TAO:ace6tao2from

jwillemsen:jwi-configtestacetao2jwillemsen/ATCD:jwi-configtestacetao2Copy head branch name to clipboard