PMP Corefinement: Replace containers to make it faster#5592

sloriot merged 3 commits intoCGAL:masterCGAL/cgal:masterfrom

afabri:PMP_accelerate_corefine-GFafabri/cgal:PMP_accelerate_corefine-GFCopy head branch name to clipboard