IRC, freenode, #hurd, 2012-01-14:
<youpi> antrik: what are the permissions that are supposed to be given to
/servers/default-pager ?
<antrik> olaf@alien:~$ ls -l /servers/default-pager
<antrik> crw-rw-rw- 1 root root 0, 0 Sep 17 2004 /servers/default-pager
<antrik> oh, interesting... in the other system it's different
<antrik> olaf@alien:~$ ls -l /sub/servers/default-pager
<antrik> crw-r--r-- 1 root root 0, 0 Jul 10 2006
/sub/servers/default-pager
<antrik> both are Debian, the latter installed with crosshurd
<antrik> (and native-install run in a chroot or subhurd, don't remember
which...)