From 55a20058ee0fa5cca3df3ef5ed4c1b524700fdce Mon Sep 17 00:00:00 2001 From: Kate Date: Thu, 20 Jan 2022 14:27:43 +0000 Subject: [PATCH] Update master_changes.md --- master_changes.md | 1 + 1 file changed, 1 insertion(+) 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]