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

Conversation

@caugustus-sourcegraph
Copy link
Contributor

This pull request is part of the Sourcegraph 3.40.2 release.

@caugustus-sourcegraph caugustus-sourcegraph merged commit 5d9b3de into master Jun 8, 2022
@caugustus-sourcegraph caugustus-sourcegraph deleted the publish-3.40.2 branch June 8, 2022 21:20
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