Skip to content

drop_insert -> drop_insert_gt

Michael Sammler requested to merge msammler/fix_drop_insert into master

Fixes the renaming in stdpp!131 (merged).

Merge request reports