Mark release-1.12 branch of subversion repository as obsolete