Skip to content

Remove Node::Dummy#877

Merged
tmke8 merged 1 commit intomainfrom
remove-dummy
Mar 10, 2026
Merged

Remove Node::Dummy#877
tmke8 merged 1 commit intomainfrom
remove-dummy

Conversation

@tmke8
Copy link
Owner

@tmke8 tmke8 commented Mar 10, 2026

closes #876

@github-actions
Copy link

Wasm sizes:
Base branch: 122317 bytes
PR: 122240 bytes
Size diff: -77 bytes (-0.06%)

@tmke8 tmke8 merged commit f4740ea into main Mar 10, 2026
13 checks passed
@tmke8 tmke8 deleted the remove-dummy branch March 10, 2026 15:42
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.

Node::Dummy can cause malformed MathML

1 participant