Skip to content

Conversation

@Yadunund
Copy link
Member

PR #54 was opened in the past to port changes from rolling into main but this PR was squash merged instead of a commit merge. As a results the version bumps and more importantly the tags for the release did not make to main since a tag is associated with a commit.

So although this PR does not have a code diff, we should merge it with a merge commit to ensure the commits with the version tags become present in main.

@mxgrey mxgrey merged commit 1c3c948 into main Jun 6, 2023
@mxgrey mxgrey deleted the rolling branch June 6, 2023 09:01
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.

5 participants