api: Embed platform and app info in user-agent#724
Merged
gnprice merged 6 commits intozulip:mainfrom Jul 14, 2024
Merged
Commits
Commits on Jul 14, 2024
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted