add option to merge settings#3464
Merged
thebrianchen merged 13 commits intomasterfrom Aug 19, 2020
Commits
Commits on Jul 23, 2020
- committedBrian Chen
- committedBrian Chen
Commits on Jul 24, 2020
- committedBrian Chen
- committedBrian Chen
- committedBrian Chen
Commits on Jul 27, 2020
- committedBrian Chen
- committedBrian Chen
Commits on Jul 29, 2020
- committedBrian Chen
Commits on Aug 4, 2020
- committedBrian Chen
- committedBrian Chen
Commits on Aug 13, 2020
- committedBrian Chen
- committedBrian Chen
Commits on Aug 19, 2020
- committedBrian Chen