Cherry pick/deterministic indices syncer
requested to merge lisa_julia.nebel/dune-common:cherry-pick/deterministic-indicesSyncer into releases/opm
@markus.blatt: I've cherry-picked the commits from !1335 (merged). Can you have a look?
@markus.blatt: I've cherry-picked the commits from !1335 (merged). Can you have a look?