Closed atondwal closed 3 years ago
Seems a lot of people want to make leader into localleader. I am not against either, but considering the long lasting setting is using leader, I think it's better to open up an option to choose which type of leader to use.
Fixes #260