🐛 fix: better number type setting check#439

mhkarimi1383 wants to merge 1 commit intozulip:mainzulip/docker-zulip:mainfrom

mhkarimi1383:patch-1mhkarimi1383/docker-zulip:patch-1Copy head branch name to clipboard