Skip to content

Conversation

simlay
Copy link
Contributor

@simlay simlay commented May 22, 2024

Follow up for #679 (comment). This PR is small enough to just be annoying but I felt bad that my previous PR is causing CI to fail.

@jdm jdm added this pull request to the merge queue May 23, 2024
Merged via the queue into servo:main with commit f49a4a5 May 23, 2024
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.

2 participants