This repository was archived by the owner on Sep 6, 2021. It is now read-only.
Fix bug #7300 (Prefs never saved again after opening ancestor folder of user prefs.json)#7376
Merged
peterflynn merged 1 commit intomasterfrom Apr 2, 2014
Merged
