Change Maintainer description in dune module file
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Change Maintainer description in dune module file
Simon Praetorius
requested to merge
simon.praetorius-main-patch-984e
into
main
Mar 26, 2025
Overview
0
Commits
1
Pipelines
1
Changes
1
Merge request reports
Loading