Skip to content

Conversation

PeterTh
Copy link
Collaborator

@PeterTh PeterTh commented Jun 11, 2025

This implements the current state of the extension for individual includes.

Will be in draft at least until the extension is passed.

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.

1 participant