Skip to content

Unpin Sphinx version. - #3658

Merged
garth-wells merged 1 commit into
mainfrom
garth/unpin-sphinx
Mar 3, 2025
Merged

Unpin Sphinx version.#3658
garth-wells merged 1 commit into
mainfrom
garth/unpin-sphinx

Conversation

@garth-wells

Copy link
Copy Markdown
Member

This was pinned pending an update to Breathe. A new Breathe version has since been released.

This was pinned pending an update to Breathe.
@garth-wells garth-wells added documentation Documentation improvements or fixes housekeeping Tidying and style improvements labels Mar 3, 2025
@garth-wells
garth-wells enabled auto-merge March 3, 2025 13:06
@garth-wells
garth-wells added this pull request to the merge queue Mar 3, 2025
Merged via the queue into main with commit 98bcd26 Mar 3, 2025
@garth-wells
garth-wells deleted the garth/unpin-sphinx branch March 3, 2025 14:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Documentation improvements or fixes housekeeping Tidying and style improvements

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant