Skip to content

just a few typos#70

Merged
NathanDunfield merged 1 commit into
3-manifolds:masterfrom
fchapoton:some_typos
Jun 14, 2026
Merged

just a few typos#70
NathanDunfield merged 1 commit into
3-manifolds:masterfrom
fchapoton:some_typos

Conversation

@fchapoton

Copy link
Copy Markdown
Contributor

found using codespell and fixed by hand

@NathanDunfield NathanDunfield merged commit db35e33 into 3-manifolds:master Jun 14, 2026
20 of 21 checks passed
@fchapoton fchapoton deleted the some_typos branch June 15, 2026 05:47
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