Skip to content

Fixup for !2

Dominic Kempf requested to merge feature/fix-FS-1331-and-mr-2 into master

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

Merge request reports