gzdaniel's picture
Change the API for deleting documents to support deleting multiple documents at once.
d07e391