Skip to content

Assume that a single element scheduled to be deleted has an effective deletion

Eva Bardou requested to merge assume-element-deleted into master

Closes #512 (closed)

Merge request reports