Skip to content

Conversation

@calixteman
Copy link
Contributor

Fix issue #20153 (second part).

@timvandermeij
Copy link
Contributor

timvandermeij commented Dec 22, 2025

I assume you meant to link #20513 in the commit message instead?

Copy link
Contributor

@timvandermeij timvandermeij left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

r=me, with a rebase, passing tests and the typo in the issue number in the commit message fixed. Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants