cannot undo "delete permanently"

[nicolasaunai]

delete permanently a catalogue (it was empty does it matter?) the undo option is available but it does not put the catalogue back