chiark / gitweb /
unit: increase default timeout to 3min