[checkmk-commits] [tribe29/checkmk] a10489: Some --check-untyped-defs fixes, part 23.

Branch: refs/heads/master Home: https://github.com/tribe29/checkmk Commit: a104898d39131040a5a6bd1ce5d0d1098c4053a7 https://github.com/tribe29/checkmk/commit/a104898d39131040a5a6bd1ce5d0d1098… Author: Sven Panne <sven.panne(a)tribe29.com> Date: 2020-03-19 (Thu, 19 Mar 2020) Changed paths: M cmk/gui/htmllib.py M cmk/gui/inventory.py M cmk/gui/mobile.py M cmk/gui/views.py Log Message: ----------- Some --check-untyped-defs fixes, part 23. Change-Id: Id75af6b802d79c98cbc4273f56ec429ac8076744