No matches were found for subject:"Bug#576397\: subversion\-tools\: svn\-hot\-backup confused when repository name ends with digits"