Skip to content

Maintenance: Pin Sphinx contrib dependencies.#419

Merged
dvuckovic merged 1 commit intomainfrom
dv/pin-dependencies/main
Jan 16, 2024
Merged

Maintenance: Pin Sphinx contrib dependencies.#419
dvuckovic merged 1 commit intomainfrom
dv/pin-dependencies/main

Conversation

@dvuckovic
Copy link
Copy Markdown
Contributor

No description provided.

@dvuckovic dvuckovic requested a review from ralf401 January 16, 2024 09:39
@dvuckovic dvuckovic merged commit e1a4aeb into main Jan 16, 2024
@dvuckovic dvuckovic deleted the dv/pin-dependencies/main branch January 16, 2024 10:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants