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

chore: bump version for release #148

Merged
merged 2 commits into from
Sep 20, 2023
Merged

chore: bump version for release #148

merged 2 commits into from
Sep 20, 2023

Conversation

ctreatma
Copy link
Contributor

@ctreatma ctreatma commented Sep 20, 2023

This covers steps (1) and (2) of #109

  1. The version was manually updated in 85c96ff
  2. The GitHub Actions PR workflow regenerated the code for this PR in 91c72f3

@ctreatma ctreatma merged commit 0010a9f into main Sep 20, 2023
@ctreatma ctreatma deleted the prep-release branch September 20, 2023 15:02
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.

1 participant