added the possbility to parse an PetscOptionIntArray String

Merge request reports

Loading