Skip to content

Conversation

odow
Copy link
Member

@odow odow commented Aug 25, 2025

Alternative to #2821

Copy link
Member

@joaquimg joaquimg left a comment

Choose a reason for hiding this comment

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

This was easier to understant

Copy link
Member

@blegat blegat left a comment

Choose a reason for hiding this comment

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

Indeed much simpler ^^

@odow odow merged commit 2b3a763 into master Aug 26, 2025
31 checks passed
@odow odow deleted the od/bridge-variable-name branch August 26, 2025 23:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

3 participants