Skip to content
This repository has been archived by the owner on Sep 11, 2024. It is now read-only.

Minor tweaks to UserSettings dialog #12651

Merged
merged 4 commits into from
Jun 20, 2024

We went looking everywhere, but couldn’t find those commits.

Sometimes commits can disappear after a force-push. Head back to the latest changes here.