Branch: refs/heads/master Home: https://github.com/tribe29/checkmk Commit: d9f8cbe54b142fa90d00b064bd56ed101eb22c86 https://github.com/tribe29/checkmk/commit/d9f8cbe54b142fa90d00b064bd56ed101… Author: Sven Panne <sven.panne(a)tribe29.com> Date: 2020-03-31 (Tue, 31 Mar 2020) Changed paths: M cmk/gui/htmllib.py M cmk/gui/userdb.py M cmk/gui/wato/pages/users.py M cmk/gui/wato/user_profile.py Log Message: ----------- Some --check-untyped-defs fixes, part 32. Change-Id: I6425ef81cc2c31ffa343976e716515896dae8690