Skip to content

fix comment in convex.v#212

Open
t6s wants to merge 1 commit intomasterfrom
fix_comment20260306
Open

fix comment in convex.v#212
t6s wants to merge 1 commit intomasterfrom
fix_comment20260306

Conversation

@t6s
Copy link
Collaborator

@t6s t6s commented Mar 6, 2026

Two lines in the header comment of convex.v has been wrong.

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