You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
rel: Include Sourcegraph 5 Release 9 Patch 1 in releases.mdx (#753)
<!-- Explain the changes introduced in your PR -->
We should only merge this in once the release is completed.
The [Releases notion
page](https://www.notion.so/sourcegraph/Sourcegraph-Releases-eee2a5384b0a4555adb51b439ddde35f?pvs=4)
should also be updated to include this, maybe?
## Pull Request approval
You will need to get your PR approved by at least one member of the
Sourcegraph team. For reviews of docs formatting, styles, and component
usage, please tag the docs team via the #docs Slack channel.
---------
Co-authored-by: Jacob Pleiness <[email protected]>
0 commit comments