See !dune-grid!584 (merged)
Pipeline #44797 passed
Pipeline passed for 401f927f on fix/return-type-of-integration-element 2 years ago
Pipeline #45522 passed
Pipeline passed for 96a9468a on master 2 years ago
added 1 commit
Compare with previous version
mentioned in commit 96a9468a
merged