[!15] Fix use of old instantiation point.
Merge branch 'fix-warnings' into 'master' ref:extensions/dune-vectorclass Closes: [#11] See merge request [!15] [#11]: gitlab.dune-project.org/NoneNone/issues/11 [!15]: gitlab.dune-project.org/extensions/dune-vectorclass/merge_requests/15 Closes #11
Showing
Please register or sign in to comment