Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add unsound prettytable-rs #1503

Merged
merged 2 commits into from
Dec 27, 2022
Merged

Add unsound prettytable-rs #1503

merged 2 commits into from
Dec 27, 2022

Conversation

david0u0
Copy link
Contributor

No description provided.

@david0u0 david0u0 mentioned this pull request Dec 27, 2022
Closed
@pinkforest
Copy link
Contributor

pinkforest commented Dec 27, 2022 •
edited
Loading

Thanks, will merge today/tomorrow after 1.0..0 is out.

Could we please just adjust the date when it was reported tyvm ❤️

@pinkforest pinkforest added the Unsound Informational / Unsound label Dec 27, 2022
@pinkforest pinkforest changed the title Add unsound infoirmation to prettytable-rs Add unsound prettytable-rs Dec 27, 2022
@pinkforest
Copy link
Contributor

fyi - ended up releasing 0.10.0 - fixed tihs one to refer to 0.10.0

@pinkforest pinkforest merged commit 9db09cf into rustsec:main Dec 27, 2022
@kylewillmon kylewillmon mentioned this pull request Jan 3, 2023
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@pinkforest pinkforest pinkforest left review comments

Assignees
No one assigned
Labels
Unsound Informational / Unsound
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@david0u0 @pinkforest