Skip to content

Conversation

@simonwuelker
Copy link
Contributor

We depend on 0.1.3, 0.1.x is not good enough.
See #195 (comment).

@nicoburns nicoburns changed the title Pin exact version of web_atoms Require web_atoms v0.1.3 Jun 13, 2025
@nicoburns
Copy link
Collaborator

I would note that this doesn't pin an exact version of web_atoms. It will still allow 1.3.4, etc if/when those get published.

@nicoburns nicoburns added this pull request to the merge queue Jun 13, 2025
@Loirooriol Loirooriol removed this pull request from the merge queue due to a manual request Jun 13, 2025
@Loirooriol
Copy link
Collaborator

Loirooriol commented Jun 13, 2025

Good point. Better update the commit message then, since AFAIK Stylo doesn't take it from the PR.

Signed-off-by: Simon Wülker <[email protected]>
@nicoburns nicoburns added this pull request to the merge queue Jun 13, 2025
Merged via the queue into servo:main with commit cc78edf Jun 13, 2025
3 checks passed
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.

4 participants