chiark / gitweb /
Fix rostock options.