Thanks for the report! We've fixed the bug now.
That definitely earns a sticker, check out https://sourcegraph.com/about if you want to redeem it :)
That definitely earns a sticker, check out https://sourcegraph.com/about if you want to redeem it :)
No comments yet.