Davide De Rosa 17ae9793df Randomize provider server (#263) ... * Pick random server within location * Add toggle to provider section in profile		2023-03-19 08:19:32 +01:00
..
Extensions	Restore DNS "Domain" setting (#260)	2023-03-17 22:16:04 +01:00
Managers	Randomize provider server (#263)	2023-03-19 08:19:32 +01:00
Models	Add SwiftLint phase (#262)	2023-03-17 21:55:47 +01:00
Pickers	Update copyright	2023-03-17 16:56:19 +01:00