Skip to content

Conversation

@EurFelux
Copy link
Collaborator

@EurFelux EurFelux commented Nov 5, 2025

What this PR does

I previously pasted the wrong code snippet when resolving the conflict. It has now been fixed.

Fixes #

Why we need it and why it was done in this way

The following tradeoffs were made:

The following alternatives were considered:

Links to places where the discussion took place:

Breaking changes

If this PR introduces breaking changes, please describe the changes and the impact on users.

Special notes for your reviewer

Checklist

This checklist is not enforcing, but it's a reminder of items that could be relevant to every PR.
Approvers are expected to review this list.

Release note


@EurFelux EurFelux requested a review from 0xfullex as a code owner November 5, 2025 06:11
github-actions bot pushed a commit that referenced this pull request Nov 5, 2025
@EurFelux EurFelux added this to the v1.7.0 milestone Nov 5, 2025
@EurFelux EurFelux merged commit 1103449 into main Nov 5, 2025
2 checks passed
@github-actions github-actions bot deleted the fix/10727 branch November 5, 2025 06:33
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