Skip to content

WIP: [ReferenceElement] Remove magic to emit deprecation warning for de-ref

Christoph Grüninger requested to merge feature/remove-ref-element-deprecation-magic into master

This was alread deprecated in Dune 2.6.

Merge request reports