sourcebot-dev/sourcebot v4.10.16

on GitHub

What's Changed

• chore(web): Add isBranchFilteringEnabled flag to search_finished event by @brendan-kellam in #781
• fix(ui): Fix reference guide key hint for PC by @msukkari in #782

Full Changelog: v4.10.15...v4.10.16