Thank you for your fixes and comments. I am developing a tool detecting outdated APIs in documentation. The git history may contain the previous svn history, which enables the tool to detect the above.

This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: http://www.atlassian.com/software/jira