paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-16 20:02:15 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
c5579cf15a3fe7bbb3f8d828cd511f7c5508c85c
zulip/zerver/decorator.py
Zixuan James Li 1e8cb0e7b1 decorator: Rename profile to user_profile. 
This is more consistent with how we name UserProfile objects.

Signed-off-by: Zixuan James Li <p359101898@gmail.com>
2022-08-17 12:05:38 -07:00

39 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink