Branch: refs/heads/master Home: https://github.com/tribe29/checkmk Commit: d60c31e87e6e5739a9bf6ba344e1763adf49025f https://github.com/tribe29/checkmk/commit/d60c31e87e6e5739a9bf6ba344e1763ad… Author: Hannes Rantzsch <hannes.rantzsch(a)tribe29.com> Date: 2023-01-19 (Thu, 19 Jan 2023) Changed paths: M cmk/gui/userdb/__init__.py M cmk/gui/userdb/store.py Log Message: ----------- Improve typing in userdb.load_users Change-Id: Ie42cf8110335823445f46bb149b714a08d77343f