Branch: refs/heads/master
Home:
https://github.com/tribe29/checkmk
Commit: f5be8a3672675bec7520598da5b6ffd95f283cba
https://github.com/tribe29/checkmk/commit/f5be8a3672675bec7520598da5b6ffd95…
Author: Sven Panne <sven.panne(a)tribe29.com>
Date: 2020-04-01 (Wed, 01 Apr 2020)
Changed paths:
M cmk/gui/wato/pages/users.py
M cmk/gui/watolib/git.py
Log Message:
-----------
Some --check-untyped-defs fixes, part 35.
Change-Id: Id6c148d1532afbbd5d4f6cddf1574cec7c60d84c