mirror of
https://github.com/zulip/zulip.git
synced 2025-11-02 04:53:36 +00:00
This makes it easier to browse details on users and bots when interacting with them in the settings interface. While the original issue was about just the bots panel, this is clearly useful for all users. Fixes: #23970.