Remove unneeded workaround/option


git-svn-id: file:///srv/repos/svn-community/svn@123474 9fca08f4-af9d-4005-b8df-a31f2cc04f65
Upstream appears again


git-svn-id: file:///srv/repos/svn-community/svn@123475 9fca08f4-af9d-4005-b8df-a31f2cc04f65