Skip to content

fix copy/paste bug (cf. #866)

Christophe Geuzaine requested to merge cherry-pick-3d4f81e4 into master

(cherry picked from commit 3d4f81e4)

Merge request reports