Commit 1ca5bfe0 authored by Christophe Geuzaine's avatar Christophe Geuzaine

Merge branch 'perf' into 'master'

Minor cleanup

See merge request !146
parents 5fcd9441 8ae6ac5f
Pipeline #1867 passed with stage
in 62 minutes and 17 seconds