Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

mypy: Change realm.subdomain to no longer be Optional. 

It hasn't been optional since we removed REALMS_HAVE_SUBDOMAINS.
This commit is contained in:
Tim Abbott 2017-10-18 22:31:34 -07:00
parent 1ab2ca5986
commit b850875840
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
zerver/models.py
View File

@ -258,7 +258,7 @@ class Realm(ModelReprMixin, models.Model):
@property
def subdomain(self):
# type: () -> Optional[Text]
# type: () -> Text
return self.string_id
@property