chiark / gitweb /
Merge configuration fixes