Skip to content
GitLab
Explore
Sign in
staging
dune-typetree
Merge requests
!118
cleanup release 2.9
Code
Review changes
Check out branch
Download
Patches
Plain diff
Simon Praetorius
requested to merge
issue/cleanup-release-2.9
into
releases/2.9
Nov 16, 2022
Overview
0
Commits
3
Pipelines
1
Changes
3
Expand
Set correct version numbers in dune.module file, changelog and readme file
Merge request reports