Skip to content

Add maintenance_intent as requested by opam reviewer#118

Merged
pawaskar-shreya merged 1 commit into
mainfrom
mwd-opam-maintenance-intent
Sep 2, 2025
Merged

Add maintenance_intent as requested by opam reviewer#118
pawaskar-shreya merged 1 commit into
mainfrom
mwd-opam-maintenance-intent

Commits

Commits on Sep 2, 2025