Allow rmdom on subdomains of those on the user's ACL
authorAdam Chlipala <adamc@hcoop.net>
Mon, 12 May 2008 20:26:51 +0000 (20:26 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Mon, 12 May 2008 20:26:51 +0000 (20:26 +0000)

No differences found