[checkmk-commits] [tribe29/checkmk] 90bf76: Fix recently introduced issue

Branch: refs/heads/master Home: https://github.com/tribe29/checkmk Commit: 90bf76e6633a7d40f976ffb2e2eaeccfc1574033 https://github.com/tribe29/checkmk/commit/90bf76e6633a7d40f976ffb2e2eaeccfc… Author: Lars Michelsen <lm(a)tribe29.com> Date: 2021-07-08 (Thu, 08 Jul 2021) Changed paths: M cmk/gui/plugins/userdb/utils.py M cmk/gui/type_defs.py M cmk/gui/wato/pages/users.py M cmk/gui/wato/user_profile.py Log Message: ----------- Fix recently introduced issue This problem was uncovered by the GUI crawl :-). Together with the fix, this change adds the type hints which would've uncovered this issue. Change-Id: I3651f770b3a881fca6f603d6127c921e362db839