[dev-php/HTTP_WebDAV_Client] rm obsolete patch