Skip to content

move PR templates to the right location in .github folder#2937

Merged
sabine merged 1 commit intoocaml:mainfrom sabine:move_PR_templates_in_right_placeJan 24, 2025

Commits

Commits on Jan 24, 2025