Commit 09d1a73a by Christophe Geuzaine

fix #343 [skip ci]

parent 543e77ce
Pipeline #537 skipped in 0 seconds