[checkmk-commits] [tribe29/checkmk] 84dc8f: User changes: Do not log ui_theme + ui_sidebar_pos...