Skip to content

Conversation

@lc-mm
Copy link

@lc-mm lc-mm commented Jan 29, 2026

What does this PR do?

A brief description of the change being made with this pull request.

Motivation

What inspired you to submit this pull request?

Additional Notes

Anything else we should know when reviewing?

Review checklist (to be filled by reviewers)

  • Feature or bugfix MUST have appropriate tests
  • Make sure you discussed the feature or bugfix with the maintaining team in an Issue
  • Make sure each commit and the PR mention the Issue number (cf the CONTRIBUTING doc)
  • If this PR is auto-generated, please make sure also to manually update the code related to the change

@lc-mm lc-mm requested a review from a team as a code owner January 29, 2026 09:13
@sbarrio
Copy link
Contributor

sbarrio commented Jan 29, 2026

Thanks for this.

I created a PR to fix the problem here: #1116

@sbarrio sbarrio closed this Jan 29, 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.

2 participants