Skip to content

Bump major version to '0.13'#382

Merged
mrobinson merged 1 commit into
mainfrom
bump-major-version
Jun 13, 2026
Merged

Bump major version to '0.13'#382
mrobinson merged 1 commit into
mainfrom
bump-major-version

Conversation

@mukilan

@mukilan mukilan commented Jun 12, 2026

Copy link
Copy Markdown
Member

In servo/servo#45599, it was found that the recent refactors in surfman have changed the module paths for some public types used by Servo.

Since this is a breaking change, bump the major version.

Testing: Tested with a patched Servo to confirm there are no more compilation issues due to the refactor.

@mukilan mukilan marked this pull request as draft June 12, 2026 11:29
@mukilan

mukilan commented Jun 12, 2026

Copy link
Copy Markdown
Member Author

Looks like there might be issues with Windows https://github.com/mukilan/servo/actions/runs/27414440641/job/81023608218

In servo/servo#45599, it was found that the recent refactors in surfman
have changed the module paths for some public types used by Servo.

Since this is a breaking change, bump the major version.

Testing: Tested with a patched Servo to confirm there are no more
compilation issues due to the refactor.

Signed-off-by: Mukilan Thiyagarajan <mukilan@igalia.com>
@mukilan mukilan force-pushed the bump-major-version branch from b81e904 to e620f76 Compare June 13, 2026 05:26
@mrobinson

Copy link
Copy Markdown
Member

@mukilan Is this ready for review?

@mukilan

mukilan commented Jun 13, 2026

Copy link
Copy Markdown
Member Author

Yes, I was waiting for the new CI results with a patched Servo https://github.com/mukilan/servo/actions/runs/27457875145

All jobs are green.

@mukilan mukilan marked this pull request as ready for review June 13, 2026 07:11
@mrobinson mrobinson enabled auto-merge June 13, 2026 07:15
@mukilan

mukilan commented Jun 13, 2026

Copy link
Copy Markdown
Member Author

@mrobinson The PR is not approved, so it is not added to the merge queue.

@mrobinson mrobinson added this pull request to the merge queue Jun 13, 2026
Merged via the queue into main with commit 205778f Jun 13, 2026
27 checks passed
@mrobinson mrobinson deleted the bump-major-version branch June 13, 2026 07:47
@mrobinson

Copy link
Copy Markdown
Member

I've published this now.

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