Upgrade vendored cmdliner to 1.2.0

ocaml · Feb 12, 2024 · 676365d · 676365d
1 parent 584cb11
commit 676365d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/master_changes.md b/master_changes.md
@@ -72,6 +72,7 @@ users)
 
 ## Build
   * Do not check for cppo in the configure script (not used directly anymore since #5498) [#5794 @kit-ty-kate]
+  * Upgrade vendored cmdliner to 1.2.0 [#5797 @kit-ty-kate]
 
 ## Infrastructure
   * Fix depexts CI workflow and ensure all workflows run on master push [#5788 @dra27]

diff --git a/src_ext/Makefile.sources b/src_ext/Makefile.sources
@@ -18,8 +18,8 @@ MD5_re = 68c427f8b55507f8b61c613ee6a5b3da
 
 $(call PKG_SAME,re)
 
-URL_cmdliner = https://erratique.ch/software/cmdliner/releases/cmdliner-1.1.1.tbz
-MD5_cmdliner = 26b9af55a7456290b710e1c96a0ca231
+URL_cmdliner = https://erratique.ch/software/cmdliner/releases/cmdliner-1.2.0.tbz
+MD5_cmdliner = b860881cc90c68b703dca0f35bdd4cdb
 
 $(call PKG_SAME,cmdliner)