Skip to content

Conversation

Giulio2002
Copy link
Contributor

@Giulio2002 Giulio2002 commented Feb 20, 2025

unnecessary and this should somewhat simplify

@Giulio2002 Giulio2002 merged commit ac0de74 into main Feb 20, 2025
13 checks passed
@Giulio2002 Giulio2002 deleted the pppp branch February 20, 2025 19:33
yperbasis pushed a commit that referenced this pull request Feb 21, 2025
Cherry pick PR #13883 into `release/3.0`
@yperbasis yperbasis added this to the 3.0.0-beta3 milestone Feb 21, 2025
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.

3 participants