Skip to content

Conversation

cooperlees
Copy link
Collaborator

@cooperlees cooperlees commented Oct 23, 2023

Release PR

@cooperlees cooperlees added the T: enhancement New feature or request label Oct 23, 2023
@cooperlees cooperlees added the skip news Pull requests that don't need a changelog entry. label Oct 23, 2023
Add missed version string

We need to automate or remove this from docs ... It's painful.

Co-authored-by: Jelle Zijlstra <jelle.zijlstra@gmail.com>
@cooperlees cooperlees merged commit 744d23b into main Oct 23, 2023
@cooperlees cooperlees deleted the release_23.10.2 branch October 23, 2023 17:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
skip news Pull requests that don't need a changelog entry. T: enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants