d786e9703e
Fixes the bug described in #1254 (Delete document request conflict) In the tree request, deleted documents for which the user is the owner are not filtered anymore.