Skip to content

Conversation

@RalfG
Copy link
Member

@RalfG RalfG commented Oct 1, 2024

No description provided.

@RalfG RalfG added this to the v3.1.3 milestone Oct 1, 2024
@RalfG RalfG changed the base branch from main to v3.1.3-branch October 1, 2024 12:51
@RalfG RalfG changed the base branch from v3.1.3-branch to main October 1, 2024 13:07
@RalfG RalfG changed the base branch from main to v3.1.3-branch October 1, 2024 13:07
@RalfG RalfG changed the base branch from v3.1.3-branch to main October 1, 2024 13:08
@RalfG RalfG modified the milestones: v3.1.3, v3.2.0 Oct 1, 2024
@RalfG RalfG merged commit 71d42c3 into main Oct 1, 2024
@RalfG RalfG deleted the fix/deeplc-pin branch October 1, 2024 14:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

2 participants