gustafn
committed
on 28 Oct 20
Use usual delete symbol for deleting repeat elements