Tue, 01 Jun 2010 23:44:22 +0200 functional: UID switch now works really default tip
Heiko Schlittermann <hs@schlittermann.de> [Tue, 01 Jun 2010 23:44:22 +0200] rev 17
functional: UID switch now works really
(0) -10 -1 tip