From 9ebf46199835b38cacc0b89eba6fe63fd3ab04d2 Mon Sep 17 00:00:00 2001 From: Anders Kaseorg Date: Tue, 17 Jun 2025 15:43:45 -0700 Subject: [PATCH] user_settings: Add event_value type annotation. Signed-off-by: Anders Kaseorg --- zerver/actions/user_settings.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/zerver/actions/user_settings.py b/zerver/actions/user_settings.py index 03ae72e358..b3aa7c0f77 100644 --- a/zerver/actions/user_settings.py +++ b/zerver/actions/user_settings.py @@ -443,7 +443,7 @@ def do_change_user_setting( if isinstance(setting_value, Enum): db_setting_value = setting_value.value - event_value = setting_value.name + event_value: bool | str | int = setting_value.name else: db_setting_value = setting_value event_value = db_setting_value