Skip to content

Conversation

@yitaverse
Copy link
Contributor

Implementation linked to this post.

@u-fischer u-fischer changed the base branch from main to cleanup-patches February 19, 2023 10:39
@u-fischer u-fischer merged commit 2236330 into latex3:cleanup-patches Feb 19, 2023
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