Skip to content

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

This was alread deprecated in Dune 2.6.

Merge request reports

Loading