Daniel Gultsch 811e2eaeec increased dns timeout		2015-09-10 10:54:15 +02:00
..
main	increased dns timeout	2015-09-10 10:54:15 +02:00