0.12.5: remove //dev// suffix and svn revision tagging.
0.12.5: remove //dev// suffix and svn revision tagging.

git-svn-id: 764b04d0c6fbbea0ee05220aef3208173ff13049@11517 af82e41b-90c4-0310-8c96-b1721e28e2e2

rbaumg/trac,rbaumg/trac,rbaumg/trac,rbaumg/trac