Skip to content

Conversation

ssbarnea
Copy link
Member

@github-actions github-actions bot added the bug label Mar 11, 2025
ssbarnea added a commit that referenced this pull request Mar 14, 2025
This includes some parts of #4548 which aims to add 2.19
compatibility.
ssbarnea added a commit that referenced this pull request Mar 17, 2025
This includes some parts of #4548 which aims to add 2.19
compatibility.
ssbarnea added a commit that referenced this pull request Mar 18, 2025
ssbarnea added a commit that referenced this pull request Mar 18, 2025
ssbarnea added a commit that referenced this pull request Mar 18, 2025
ssbarnea added a commit that referenced this pull request Mar 18, 2025
@ssbarnea
Copy link
Member Author

ssbarnea commented Apr 3, 2025

Superseded by #4571

@ssbarnea ssbarnea closed this Apr 3, 2025
@ssbarnea ssbarnea deleted the fix/core-devel branch April 3, 2025 11:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

1 participant