[DE-844] added ignoreRevs to DocumentDeleteOptions#567

rashtao merged 1 commit intomainarangodb/arangodb-java-driver:mainfrom

feature/delete-documents-ignoreRevsarangodb/arangodb-java-driver:feature/delete-documents-ignoreRevsCopy head branch name to clipboard