[checkmk-commits] [tribe29/checkmk] 79ab91: htmllib: tiny typing improvement

Branch: refs/heads/master Home: https://github.com/tribe29/checkmk Commit: 79ab91d2f88f8c0767006a0a1f32f10203453701 https://github.com/tribe29/checkmk/commit/79ab91d2f88f8c0767006a0a1f32f1020… Author: Moritz Kiemer <moritz.kiemer(a)tribe29.com> Date: 2021-05-04 (Tue, 04 May 2021) Changed paths: M cmk/gui/htmllib.py M cmk/gui/plugins/sidebar/wato.py M cmk/gui/plugins/visuals/utils.py M cmk/gui/type_defs.py M cmk/gui/wato/mkeventd.py M cmk/gui/wato/pages/custom_attributes.py M cmk/gui/wato/pages/roles.py M cmk/gui/wato/pages/users.py Log Message: ----------- htmllib: tiny typing improvement Change-Id: Iadbd003a3c51e7f11f0b8144abe473b41d4828a4