Merge branch 'v8.5'

1 files changed, 1 insertions, 1 deletions

diff --git a/library/library.ml b/library/library.ml
index 45fce1c26c..f7ca4e9760 100644
--- a/library/library.ml
+++ b/library/library.ml
@@ -379,7 +379,7 @@ let access_table what tables dp i =
     | Fetched t -> t
     | ToFetch f ->
       let dir_path = Names.DirPath.to_string dp in
-      msg_info (str"Fetching " ++ str what++str" from disk for " ++ str dir_path);
+      Flags.if_verbose msg_info (str"Fetching " ++ str what++str" from disk for " ++ str dir_path);
       let t =
         try fetch_delayed f
         with Faulty f ->