Commit 9b1b747b authored Jul 27, 2023 by multrus

Merge branch '637-remove-switches-re-introduced-to-options-h-by-mr-792' into 'main'

Resolve "Remove switches re-introduced to options.h by MR !792"

See merge request !873