Skip to content

Fix config to avoid early exit

Riccardo Maria Bianchi requested to merge rbianchi-main-patch-05014 into main

This migrates to DumpGeo the fix introduced for VP1 in !71773 (merged) by @emoyse.

The MR fixes the early exit of DumpGeo observed starting from the r21 nightly build (21 May 2024).

Merge request reports