Fixed bug regarding username space prefix, as reported by Jeroen Ruigrok van der...
authorjollytoad <jollytoad>
Wed, 22 Sep 2004 10:52:17 +0000 (10:52 +0000)
committerjollytoad <jollytoad>
Wed, 22 Sep 2004 10:52:17 +0000 (10:52 +0000)
commitef5bf17b786e4a1b6d974a2d7310ea4099bc2647
tree3eb0c34566df7b713427cb7dea7b8fe395bc8a07
parent43360d03e037b43bbbd6ba125da99b8e120586b4
Fixed bug regarding username space prefix, as reported by Jeroen Ruigrok van der Werven <asmodai@wxs.nl>.
privileges.php