Skip to content
This repository has been archived by the owner on Jul 4, 2023. It is now read-only.

chore: prepare for upstreaming #2

Merged
merged 1 commit into from
May 23, 2023
Merged

chore: prepare for upstreaming #2

merged 1 commit into from
May 23, 2023

Conversation

nibon7
Copy link
Owner

@nibon7 nibon7 commented May 20, 2023

Close #1

@nibon7 nibon7 merged commit 7e6eb7d into main May 23, 2023
8 checks passed
@nibon7 nibon7 deleted the upstreaming branch May 23, 2023 05:22
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.

Upstreaming?
1 participant