[patches] Fix broken patch for opm-grid (!3915) · Merge requests · dumux-repositories / dumux

Mathis Kelm requested to merge fix/patch-opm-grid into master Nov 28, 2024

What this MR does / why does DuMux need it:

I added a broken patch in !3914 (merged). It now applies and fixes the relevant compilation error.

Edited Nov 28, 2024 by Timo Koch

[patches] Fix broken patch for opm-grid