Merge branch 'wip/366-remove-folders' into 'gnome-3-32'
Fix folders removed from the server never being removed
See merge request !255 (merged)
(cherry picked from commit ffb3b8fb)
9c8723ac Fix folders removed from the server never being removed
Fixes #366 (closed) and #433 (closed)
Edited by Michael Gratton