Skip to content

bump version#474

Merged
oscardssmith merged 1 commit into
masterfrom
os/bump-version
Sep 30, 2025
Merged

bump version#474
oscardssmith merged 1 commit into
masterfrom
os/bump-version

Conversation

@oscardssmith
Copy link
Copy Markdown
Member

for PrettyTables

for PrettyTables
@oscardssmith oscardssmith merged commit 912d889 into master Sep 30, 2025
19 of 20 checks passed
@ChrisRackauckas
Copy link
Copy Markdown
Member

Are you sure it didn't require any change?

@oscardssmith oscardssmith deleted the os/bump-version branch October 1, 2025 01:49
@oscardssmith
Copy link
Copy Markdown
Member Author

I was operating under the assumption that you wouldn't have merged #471 if it was broken.

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