Merge pull request #517 from dginev/main · w3c/mathml@5fb3c77 · GitHub

Commit

Merge pull request #517 from dginev/main

Browse files

SHA: ab5e122
Reason: push, by NSoiffer

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

Loading branch information

NSoiffer and github-actions[bot] committed Nov 14, 2024

1 parent ab5e122 commit 5fb3c77