Skip to content
GitLab

drop_insert -> drop_insert_gt

Merged Michael Sammler requested to merge msammler/fix_drop_insert into master

Fixes the renaming in stdpp!131 (merged).

Merge request reports