Skip to content

[!183] Catch polymorphic exceptions by reference

Oliver Sander requested to merge cherry-pick-cc1312ad into releases/2.6

Merge branch 'catch-polymorphic-exception-by-reference' into 'master'

g++ 8 warns about this.

See merge request staging/dune-functions!183

(cherry picked from commit cc1312ad)

23fe5770 Catch polymorphic exceptions by reference

Merge request reports