diff --git a/master_changes.md b/master_changes.md index 6d83c77d0d6..dc765e7aa81 100644 --- a/master_changes.md +++ b/master_changes.md @@ -69,6 +69,7 @@ users) ## VCS ## Build + * 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 index 9efc8d7e6c6..75cf4cd32c6 100644 --- 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)