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)

Merge request reports

Loading