[checkmk-commits] [tribe29/checkmk] 722d39: Improved UserSpec typing a bit + associated fixes.

Branch: refs/heads/master Home: https://github.com/tribe29/checkmk Commit: 722d39cbc643c2048611c4440eebaa8b7a4a1e04 https://github.com/tribe29/checkmk/commit/722d39cbc643c2048611c4440eebaa8b7… Author: Sven Panne <sven.panne(a)tribe29.com> Date: 2022-04-11 (Mon, 11 Apr 2022) Changed paths: M cmk/gui/plugins/webapi/webapi.py M cmk/gui/type_defs.py M cmk/gui/userdb.py M cmk/gui/wato/pages/user_profile/edit_profile.py M cmk/gui/wato/pages/users.py M cmk/gui/watolib/host_rename.py M cmk/gui/watolib/notifications.py M tests/unit/cmk/gui/test_userdb.py Log Message: ----------- Improved UserSpec typing a bit + associated fixes. Still far from perfect, but better than before. Change-Id: Ie550e45f494836487ffa9fc638380e72856d4ac4