mirror of
https://github.com/zulip/zulip.git
synced 2025-11-10 00:46:03 +00:00
437f4c2288
As we have changed the tab selector above from "Settings" to "Personal settings", we can simply change "Your bots" to "Bots" as "Bots" is clear enough given the personal settings context. We also need to update the API documentation for bots accordingly.
5.6 KiB
5.6 KiB