Commit 0ef54b66 authored by Oliver Sander's avatar Oliver Sander

[!201] Catch polymorphic exceptions by reference

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

See merge request [!201]

  [!201]: Nonestaging/dune-functions/merge_requests/201
parents 608df600 273f46f4
Pipeline #17245 passed with stage
in 8 minutes and 17 seconds