Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@martindholmes
Copy link
Contributor

Simple fix if Council agrees with the ticket.

@bleekere
Copy link
Contributor

Gently pinging @jamescummings and @martinascholger to review this PR.

@sydb sydb self-requested a review January 14, 2026 03:04
@sydb
Copy link
Member

sydb commented Jan 14, 2026

I do not understand why this PR is labelled NEEDS DISCUSSION and TEI: ODD. It has nothing to do with the ODD language, and my instinct is it does not need discussion, it should just be merged. But @martindholmes may have had a reason.

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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants