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