Commit e9dadc7d authored by Christophe Geuzaine's avatar Christophe Geuzaine

Merge branch 'fix_hxt' into 'master'

fix hxt

See merge request !209
parents d0a987dc 883c83d9
Pipeline #2814 passed with stage
in 62 minutes and 12 seconds