Skip to content
This repository has been archived by the owner on Jan 22, 2025. It is now read-only.

bump std #19

Merged
merged 1 commit into from
Feb 23, 2023
Merged

bump std #19

merged 1 commit into from
Feb 23, 2023

Conversation

talentlessguy
Copy link
Contributor

No description provided.

@gcaptn gcaptn merged commit 2b343ce into gcaptn:master Feb 23, 2023
@gcaptn
Copy link
Owner

gcaptn commented Feb 23, 2023

Thanks!

@talentlessguy talentlessguy deleted the patch-1 branch February 23, 2023 07:25
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants