Fixes #4218: add denybadclocks_system_var_spec
Merge pull request #29 from fanf/ust_3889/dev_4218_add_denybadclocks_system_var_spec

Fixes #4218: add denybadclocks_system_var_spec