Merge branch 'issue/deprecation-warning-in-concepts' into 'master' (!318) · Merge requests · staging / dune-functions · GitLab

Carsten Gräser requested to merge cherry-pick-6968d167 into releases/2.8 Aug 31, 2021

Ignore deprecation warnings inside a (deprecated) concept check

Closes #64 (closed)

See merge request !312 (merged)

(cherry picked from commit 6968d167)

b19c2fa2 Ignore deprecation warnings inside a (deprecated) concept check