#19689: Deprecate `Options.module_name` in favor of `model_name`
-+-
Reporter: charettes|Owner: charettes
Type: | Status: closed
#19689: Deprecate `Options.module_name` in favor of `model_name`
-+-
Reporter: charettes|Owner: charettes
Type: | Status: closed
#19689: Deprecate `Options.module_name` in favor of `model_name`
-+-
Reporter: charettes|Owner: charettes
Type: | Status: assigned
#19689: Deprecate `Options.module_name` in favor of `model_name`
-+-
Reporter: charettes|Owner: charettes
Type: | Status: assigned
#19689: Deprecate `Options.module_name` in favor of `model_name`
-+-
Reporter: charettes|Owner: charettes
Type: | Status: assigned
#19689: Deprecate `Options.module_name` in favor of `model_name`
-+-
Reporter: charettes|Owner: charettes
Type: | Status: assigned