Commit cec23971 authored by Christophe Geuzaine's avatar Christophe Geuzaine

Merge branch 'perf' into 'master'

Performance increase for many_holes benchmark

See merge request !164
parents 733cee50 c65c1bb7
Pipeline #2071 passed with stage
in 62 minutes and 3 seconds