From ade1ea3a382ed0137087ba3ad04df11405b511f7 Mon Sep 17 00:00:00 2001 From: rand00 Date: Mon, 20 Dec 2021 15:51:40 +0100 Subject: [PATCH] Builder_web.job_build_treemap: Changed title of excluded treemap chunks --- lib/builder_web.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/builder_web.ml b/lib/builder_web.ml index 47617df..bcf49fe 100644 --- a/lib/builder_web.ml +++ b/lib/builder_web.ml @@ -238,7 +238,7 @@ let add_routes datadir = |> List.fold_left Int64.add 0L in [ - "Minors excluded from treemap", excluded_minors_size + "Smaller excluded entries", excluded_minors_size ] in info