mirror of
https://github.com/zulip/zulip.git
synced 2025-11-13 18:36:36 +00:00
This might fix problems where users were running old code even after reloading. (imported from commit dedc4d513f884aa2bafa0c7cc7a817d6715b48a0)
This might fix problems where users were running old code even after reloading. (imported from commit dedc4d513f884aa2bafa0c7cc7a817d6715b48a0)