Skip to content

Patch broken docbuild#228

Merged
nabobalis merged 1 commit intomainfrom
ci
May 16, 2023
Merged

Patch broken docbuild#228
nabobalis merged 1 commit intomainfrom
ci

Conversation

@nabobalis
Copy link
Copy Markdown
Member

@nabobalis nabobalis commented May 16, 2023

Will become post1 for 0.11.4

@nabobalis nabobalis marked this pull request as ready for review May 16, 2023 09:41
@nabobalis nabobalis merged commit ef57947 into main May 16, 2023
@nabobalis nabobalis deleted the ci branch May 16, 2023 09:51
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.

1 participant