Skip to content

Comments

fix: backport fix from #59#67

Closed
robjtede wants to merge 1 commit intobranch-1.3.0from
backport-59
Closed

fix: backport fix from #59#67
robjtede wants to merge 1 commit intobranch-1.3.0from
backport-59

Conversation

@robjtede
Copy link
Member

@robjtede robjtede commented Feb 9, 2025

The fix in #59 seems mildly useful to roll out and could easily be released as v1.3.1 today? WDYT?

Since this branch is not the focus of our work, I changed as little as possible to prep this for release.

This PR is not intended to be merged but the branch can be kept in the repo for posterity.

also closes #17

@robjtede robjtede requested review from MrCroxx and hyunsik February 9, 2025 23:36
@robjtede robjtede changed the base branch from master to branch-1.3.0 February 9, 2025 23:38
@robjtede robjtede linked an issue Feb 9, 2025 that may be closed by this pull request
@robjtede robjtede closed this Feb 10, 2025
@robjtede
Copy link
Member Author

robjtede commented Feb 10, 2025

released:

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.

Example in documentation is out of date

1 participant