[!52] Fix compiler warning when catching exceptions (!53) · Merge requests · extensions / dune-foamgrid · GitLab

Timo Koch requested to merge cherry-pick-84dddfef into releases/2.6 May 01, 2019

Merge branch 'cleanup/fix-compiler-warning-exception-handler' into 'master'

See merge request extensions/dune-foamgrid!52

(cherry picked from commit 84dddfef)

257bfd75 Fix compiler warning when catching exceptions