Commit dab61029 authored by Praetorius, Simon's avatar Praetorius, Simon
Browse files

Merge branch 'issue/resuce_warnings' into 'master'

reduce deprecation and other warnings introduced by recent changes in dune 2.8

See merge request !186
parents ab838a78 f1ad9fe6