sourcebot-dev/sourcebot v4.10.11

on GitHub

What's Changed

• fix(search): Fix issue with filtering on generic git repo indexed from http/https by @msukkari in #742
• fix(web): Fix "Ranges must be added sorted by from position and startSide" by having codemirror sort for us by @brendan-kellam in #743

Full Changelog: v4.10.10...v4.10.11