chiark / gitweb /
move effective_http_timeout into InstanceConfig