Skip to content
GitLab
Explore
Sign in
staging
dune-functions
Merge requests
!442
remove code deprecated in 2.9
Code
Review changes
Check out branch
Download
Patches
Plain diff
Christoph Grüninger
requested to merge
feature/remove-deprecated-2.9
into
master
Feb 06, 2024
Overview
1
Commits
3
Pipelines
2
Changes
6
Expand
Improve documentation of existing removals and deprecations
Merge request reports