[galaxy-dev] Can't delete empty folder via Tool Shed web interface

Hi all, Due to some hickups with tar balls, I've been left with an unwanted empty folder: http://testtoolshed.g2.bx.psu.edu/view/peterjc/venn_list/51fe47a5a803 Trying to delete the folder has no effect - "No changes to repository " - is this a minor bug, or deliberate? [image: Inline image 1] Thanks, Peter