Skip to content

script: Move Geometry interfaces into geometry/ - #45736

Merged
TimvdLippe merged 1 commit into
servo:mainfrom
TimvdLippe:move-geometry
Jun 16, 2026
Merged

script: Move Geometry interfaces into geometry/#45736
TimvdLippe merged 1 commit into
servo:mainfrom
TimvdLippe:move-geometry

Conversation

@TimvdLippe

Copy link
Copy Markdown
Contributor

Part of #38901

Supersedes and closes #44027

Testing: it compiles

Part of servo#38901

Supersedes and closes servo#44027

Testing: it compiles

Co-authored-by: ak4shravikumar <ak4shravikumar@gmail.com>
Signed-off-by: Tim van der Lippe <tvanderlippe@gmail.com>
@TimvdLippe
TimvdLippe requested a review from gterzian as a code owner June 16, 2026 18:06
@servo-highfive servo-highfive added the S-awaiting-review There is new code that needs to be reviewed. label Jun 16, 2026
@servo-highfive servo-highfive removed the S-awaiting-review There is new code that needs to be reviewed. label Jun 16, 2026
@TimvdLippe
TimvdLippe enabled auto-merge June 16, 2026 18:54
@TimvdLippe
TimvdLippe added this pull request to the merge queue Jun 16, 2026
@servo-highfive servo-highfive added the S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI. label Jun 16, 2026
Merged via the queue into servo:main with commit c936150 Jun 16, 2026
34 checks passed
@TimvdLippe
TimvdLippe deleted the move-geometry branch June 16, 2026 21:26
@servo-highfive servo-highfive removed the S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI. label Jun 16, 2026
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.

3 participants