chiark / gitweb /
userv.rc: Fix stupid configuration bug.