Skip to content
This repository has been archived by the owner on Apr 25, 2024. It is now read-only.

chore: bump to 1.7.3 #57

Merged
merged 1 commit into from
Jan 17, 2024
Merged

chore: bump to 1.7.3 #57

merged 1 commit into from
Jan 17, 2024

Conversation

jsy1218
Copy link
Member

@jsy1218 jsy1218 commented Jan 17, 2024

We will skip 1.7.2, and instead bump to 1.7.3, because previously there was a version bump to 1.7.2 that got reverted later.

@jsy1218 jsy1218 requested review from mikeki, just-toby and cgkol January 17, 2024 19:06
@jsy1218 jsy1218 self-assigned this Jan 17, 2024
@jsy1218 jsy1218 merged commit 4ed1abc into main Jan 17, 2024
7 checks passed
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