This repository has been archived by the owner on Sep 11, 2024. It is now read-only.
Use a global WatchManager for settings#2705
Merged
turt2live merged 2 commits intodevelopfrom travis/fix-monitored-settingsFeb 27, 2019
+209-202
