From 381d1e1e52be804587051ec00727f7da5ab5d44e Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Wed, 9 Nov 2022 17:49:19 +0100 Subject: [PATCH] changes for respecting archive-mirror --- CHANGES.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index 0b38fb9a7..61af664cb 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -17,6 +17,8 @@ vendor (#321, @NathanReb) - Display a better error message when the depext command fails when getting the status of the packages (#258, #323, @RyanGibb, @Julow) +- Take `archive-mirrors` from the global opam configuration into account to + allow more local caches (#337, @hannesm) ### Removed