diff --git a/master_changes.md b/master_changes.md index cf42fc99e91..28aa2c91780 100644 --- a/master_changes.md +++ b/master_changes.md @@ -105,6 +105,7 @@ users) * Don't display global message when `this-switch` is given [#4899 @rjbou - fix #4889] * Set the priority of user-set archive-mirrors higher than the repositories'. This allows opam-repository to use the default opam.ocaml.org cache and be more resilient to changed/force-pushed or unavailable archives. [#4830 @kit-ty-kate - fixes #4411] + * Check that the repositories given to "opam repository remove" actually exist [#5014 @kit-ty-kate - fixes #5012] ## VCS * Pass --depth=1 to git-fetch in the Git repo backend [#4442 @dra27]