Philipp Hörist 5769ca1e29 Remove dead servers from servers list ... All removed servers did not answer to a IBR request		2018-10-28 21:45:04 +01:00
..
dh4096.pem	…
servers.json	Remove dead servers from servers list	2018-10-28 21:45:04 +01:00