This commit was SVN r7672.
This commit was SVN r7670.
to get the right version number. This commit was SVN r6131.