Skip to content
Snippets Groups Projects

Update version in dune.module file to 2.10

Passed
Simon Praetorius created pipeline for commit 31f6cc06
, finished
For releases/2.10
branch
8 jobs 48 minutes 29 seconds, queued for 504 seconds