Code

coq: add missing changelog entry#7862

Code

Merged

Alizter merged 1 commit intoocaml:mainocaml/dune:mainfrom Alizter:ps/branch/coq__add_missing_changelog_entryAlizter/dune:ps/branch/coq__add_missing_changelog_entryCopy head branch name to clipboardJun 1, 2023

+5

Commits

Commits on Jun 1, 2023

• coq: add missing changelog entry

  Show description for e4f79ac
  Alizter

  committed
  e4f79ac

  Copy full SHA for e4f79ac