Commit 527fe198 authored by Christophe Geuzaine's avatar Christophe Geuzaine

fix GETDP_OS

parent a5ffad7d
Pipeline #2402 passed with stage
in 9 minutes and 45 seconds