paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-14 02:48:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
ec065e92eef038f95996833ea6eb7a746e9912bd
zulip/zerver/management/commands/check_redis.py
jkiely aa8248e734 mypy: Enable strict optional for check redis management command 
Removed the error handling on the get_user_profile_by_id function, as it
would have just caused a different error shortly after.
2018-05-17 13:44:35 -07:00

2.9 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink