chiark / gitweb /
[PATCH] fix bug in permission handling.