This fixes #7392.  It now enables checking the config.
git pushMerge branch 'master' of github.com:hugllc/HUGnetLib