Commit 5705a848 authored by Valentin Reis's avatar Valentin Reis
Browse files

Merge branch 'split-instrumentation-manifest-options' into 'master'

[fix] Manifest format fix for non-mpi libnrm instrumentation.

See merge request !76
parents 8144a3fa bba4e16b
Pipeline #12313 passed with stages
in 3 minutes and 57 seconds