17 Mar
2020
17 Mar
'20
10:11 a.m.
Branch: refs/heads/master
Home: https://github.com/tribe29/checkmk
Commit: ff1edf20a2b243b85dadb5182fa2326fe41af20f
https://github.com/tribe29/checkmk/commit/ff1edf20a2b243b85dadb5182fa2326fe…
Author: Sven Panne <sven.panne(a)tribe29.com>
Date: 2020-03-17 (Tue, 17 Mar 2020)
Changed paths:
M cmk/gui/config.py
Log Message:
-----------
Improve typing of 'user'.
Still 2 TODOs, but at least cmk.gui.bi is happy now.
Change-Id: Iaaf62636f5f838748d6db13d35fd3d341becc7cd