Skip to content

Conversation

@rubensworks
Copy link
Member

@rubensworks rubensworks commented Jun 5, 2025

We already had the necessary grammar changes for the VERSION directive, but we didn't have a section yet to actually explain it.


Preview | Diff

@rubensworks rubensworks requested review from Tpt, afs, hartig and kasei June 5, 2025 09:29
Co-authored-by: Olaf Hartig <[email protected]>
@rubensworks rubensworks merged commit 56d025a into main Jun 17, 2025
2 checks passed
This was referenced Sep 25, 2025
@afs
Copy link
Contributor

afs commented Dec 16, 2025

@rubensworks -- I think this branch can be deleted

@rubensworks rubensworks deleted the feature/version branch December 16, 2025 13:19
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.

5 participants