Skip to content

[bugfix] add missing header

Tobias Malkmus requested to merge feature/add-missing-header into master

Header dune/common/exceptions.hh is not included but exceptions are used.

Merge request reports