Skip to content
This repository was archived by the owner on Apr 30, 2024. It is now read-only.

Conversation

@ggilmore
Copy link
Contributor

@ggilmore ggilmore commented Sep 1, 2021

This pull request is part of the Sourcegraph 3.31.1 release.

@ggilmore ggilmore merged commit 3c36ab7 into master Sep 1, 2021
@ggilmore ggilmore deleted the publish-3.31.1 branch September 1, 2021 23:15
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants