Unofficial mirror of the Unofficial mirror of the Subversion repository intended to be used for work on #6845