Skip to content
Snippets Groups Projects
Commit 55746743 authored by Andreas Dedner's avatar Andreas Dedner
Browse files

Merge branch 'cherry-pick-154ed2e1' into 'releases/2.6' 

Merge branch 'feature/fix-dune-version-newer' into 'master'

See merge request core/dune-common!379
parents f1e72656 39fe9364
No related branches found
No related tags found
Checking pipeline status
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment