From 6b02d65435fb91a76f87ee3a334f0a4f02d4f1bc Mon Sep 17 00:00:00 2001 From: Serguei Kolos <serguei.kolos@cern.ch> Date: Wed, 25 May 2022 18:21:32 +0200 Subject: [PATCH] kolos submitted wmi with tag wmi-00-14-11 === wmi === Improve log message (Serguei Kolos) Record the new run number (Serguei Kolos) Fix a bug in the code that checks when HTML files have to be regenreated (Serguei Kolos) Improve detection of conditions which require regenarion of HTML files (Serguei Kolos) --- wmi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/wmi b/wmi index 5848ffcd..4619079b 160000 --- a/wmi +++ b/wmi @@ -1 +1 @@ -Subproject commit 5848ffcde09ed0e51de015842433a8a496c1d485 +Subproject commit 4619079b32cec4221b7bd7ced4550d832c91fe4b -- GitLab