0.12.5: remove //dev// suffix and svn revision tagging.
Authored by: cboos 2013-01-15
Parent: [r11516]
Child: [r11518]