Fixup for !2

Bug introduced in the fix of flyspray/FS#1331 (closed) and !2 (merged) revealed by simply building dune-istl.

Merge request reports

Loading