Skip to content

Conversation

@ThomasBinsfeld
Copy link
Member

@ThomasBinsfeld ThomasBinsfeld commented Aug 12, 2025

Forward port of #48 and #47

@ThomasBinsfeld ThomasBinsfeld force-pushed the 18.0-mig_statechart_tbi branch from 292edf4 to aed01d8 Compare August 12, 2025 07:31
@sbidoul
Copy link
Member

sbidoul commented Aug 12, 2025

Please don't merge yet. I have questions.

@sbidoul sbidoul force-pushed the 18.0-mig-statechart-hda branch from 8eceab3 to a1aada1 Compare August 13, 2025 08:43
@sbidoul
Copy link
Member

sbidoul commented Aug 13, 2025

@ThomasBinsfeld can you push a port of #46 directly to the #49 branch. That one is now merged in 16.0.

Can you also a separate PR for #47 as I still have a few doubts about that one.

The rest I have should have included in #49 already.

@ThomasBinsfeld
Copy link
Member Author

The forward port of #47 is in #51

The forward port of #48 is now included in #49

@ThomasBinsfeld ThomasBinsfeld deleted the 18.0-mig_statechart_tbi branch August 13, 2025 09:06
@sbidoul
Copy link
Member

sbidoul commented Aug 13, 2025

Thanks!

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.

7 participants