Skip to content

Conversation

@ThomasSavary08
Copy link
Contributor

No description provided.

@francois-rozet
Copy link
Member

francois-rozet commented Nov 13, 2025

Hi @ThomasSavary08 👋 Thank you for finding this typo! It seems like I made it at several places. I will merge soon 😉

@francois-rozet francois-rozet merged commit f2c8aba into probabilists:master Nov 13, 2025
4 of 6 checks passed
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