Skip to content
Snippets Groups Projects
Commit dca97ab1 authored by Hanchuan Wu's avatar Hanchuan Wu
Browse files

Merge branch 'cherry-pick-47d743f7' into 'releases/3.4' 

Merge branch 'feature/python-dune-version' into 'master'

See merge request !2729
parents 5f4a5182 9a0f6eff
No related branches found
No related tags found
1 merge request!2729Merge branch 'feature/python-dune-version' into 'master'
Pipeline #6412 passed
Stage: check-status