r18550@... (orig r1814): jplang | 2008-09-13 18:31:11 +0200
Merged nbc branch @ r1812 (commit access permission and reposman improvements).
Authored by: nbc 2008-09-14
Parent: [r1842]
Child: [r1844]