Skip to content

Fix folders removed from the server never being removed

Michael Gratton requested to merge wip/366-remove-folders into mainline

Third time lucky at using BidiIterator correctly :(

See #366 (closed) and #433 (closed)

Merge request reports