Sourcegraph 5.11.6271

This is a patch release for Sourcegraph 5.11.

No changelog entries yet.