0.12dev: merged r7723 from 0.11-stable (''svn:externals entry pointing at root, #7810'')
Authored by: cboos 2008-11-28
Parent: [r7732]
Child: [r7734]