Commit aba58f23 authored by Christophe Geuzaine's avatar Christophe Geuzaine

EXTRA_VERSION -> EXTRA_OPTION

parent 4ef7ed06
Pipeline #2341 passed with stage
in 9 minutes and 37 seconds