Skip to content

Conversation

@jav099
Copy link
Collaborator

@jav099 jav099 commented Aug 8, 2025

This PR changes rule-paint-order to rule-overlap, as per the resolution in #12540

Javier Contreras Tenorio (from Dev Box) added 2 commits August 8, 2025 08:15
@jav099 jav099 requested a review from kbabbitt August 8, 2025 15:30
@kbabbitt kbabbitt merged commit fd183d3 into w3c:main Aug 8, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants