paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-05 06:23:38 +00:00
Code Issues Packages Projects Releases Wiki Activity

types: Make value optional for ProfileData.

Browse Source 
`UserProfile.profile_data` allows each element's value to be `None`.

Signed-off-by: Zixuan James Li <p359101898@gmail.com>
This commit is contained in:
Zixuan James Li
2022-08-05 16:35:57 -04:00
committed by Tim Abbott
parent 2382f1925d
commit 5d65ca33a8
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
zerver/lib/types.py
View File

@@ -29,7 +29,7 @@ class ProfileDataElementBase(TypedDict):
class ProfileDataElement(ProfileDataElementBase):
value: ProfileDataElementValue
value: Optional[ProfileDataElementValue]
rendered_value: Optional[str]