Skip to content

Conversation

edgarfgp
Copy link
Member

@edgarfgp edgarfgp commented Jun 11, 2025

@T-Gro
Copy link
Contributor

T-Gro commented Jun 17, 2025

@edgarfgp : Hi Edgar, is this ready for review now?

@edgarfgp edgarfgp marked this pull request as ready for review June 17, 2025 14:28
@edgarfgp
Copy link
Member Author

@edgarfgp : Hi Edgar, is this ready for review now?

Yeah it is ready for a first pass. There is an open discussion in #803

Copy link
Contributor

@T-Gro T-Gro left a comment

Choose a reason for hiding this comment

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

Thanks @edgarfgp for writing this up, merging in.

@T-Gro T-Gro merged commit 424fd1c into main Aug 14, 2025
@T-Gro T-Gro deleted the fslang-1031 branch August 14, 2025 13:55
@T-Gro
Copy link
Contributor

T-Gro commented Aug 14, 2025

If new important topics arise from the implementation, please raise a change here as well.

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