Skip to content

Use "option" instead of "setting" in pylock warning#15089

Merged
charliermarsh merged 1 commit intomainfrom
charlie/setting
Aug 5, 2025
Merged

Use "option" instead of "setting" in pylock warning#15089
charliermarsh merged 1 commit intomainfrom
charlie/setting

Commits

Commits on Aug 5, 2025