WIP: Changes that are necessary to make core/dune-istl!5 work
Just some small fixes I had to make in order to test backward compatibilty for core/dune-istl!5 (closed), see also core/dune-istl!48 (merged).
Just some small fixes I had to make in order to test backward compatibilty for core/dune-istl!5 (closed), see also core/dune-istl!48 (merged).