Hello.

I don't know how to fix this, but I know that Markus Blatt fixed a similar 
problem
in dune-istl in this way:

https://salsa.debian.org/science-team/dune-istl/-/commit/03f81f26ab7e3f91b209ca5c22c0ffcca36ade7b

Thanks.

Reply via email to