Skip to content

SideEffects: Don't delete a deleted object twice.

lain requested to merge 2232-double-delete into develop

Closes #2232

Merge request reports