Skip to content

Implement Candidate for Rc<str>#721

Merged
gwenn merged 1 commit intokkawakam:masterfrom
fsktom:master
Aug 14, 2023
Merged

Implement Candidate for Rc<str>#721
gwenn merged 1 commit intokkawakam:masterfrom
fsktom:master

Conversation

@fsktom
Copy link
Copy Markdown
Contributor

@fsktom fsktom commented Aug 13, 2023

Small quality of life improvement (for me :P)

@gwenn gwenn merged commit 35ea49a into kkawakam:master Aug 14, 2023
@gwenn
Copy link
Copy Markdown
Collaborator

gwenn commented Aug 14, 2023

Thanks.

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