0.12.2dev: tag with svn revisions for versions between 0.12.2rc1 and 0.12.2 final.
Authored by: cboos 2011-01-23
Parent: [r10465]
Child: [r10467]