Skip to content

Conversation

sjorsdonkers
Copy link
Contributor

@sjorsdonkers sjorsdonkers commented Apr 29, 2025

These are the same changes as #570
Just with the scope fixes in place, so awaiting those PRs to merge

@sjorsdonkers sjorsdonkers marked this pull request as ready for review April 29, 2025 10:43
@sjorsdonkers sjorsdonkers changed the base branch from main to scope_tightening_no_global_scope April 29, 2025 10:48
Base automatically changed from scope_tightening_no_global_scope to scope_tightening April 29, 2025 13:07
Base automatically changed from scope_tightening to main April 29, 2025 16:46
@krichprollsch krichprollsch merged commit 2910f4f into main Apr 29, 2025
12 checks passed
@krichprollsch krichprollsch deleted the svgelement_dummy2 branch April 29, 2025 16:50
@github-actions github-actions bot locked and limited conversation to collaborators Apr 29, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants