-
Zeeshan Ali Khan authored
This, combined with previous patches, fixes the issue of boxes not actually getting deleted if user exits Boxes quickly after deleting the boxes. https://bugzilla.gnome.org/show_bug.cgi?id=761479
5f5508c6
This, combined with previous patches, fixes the issue of boxes not actually getting deleted if user exits Boxes quickly after deleting the boxes. https://bugzilla.gnome.org/show_bug.cgi?id=761479