[checkmk-commits] #3216 FIX Fixed exception when trying to edit an already deleted user