Typo whitout → without.#324

Open

Mbodin wants to merge 4 commits intoocsigen:masterfrom

Commits on Nov 27, 2023

Commits on Nov 28, 2023

Updating the changelog.
Mbodin
committed

Commits on Nov 29, 2023

Adding a missing word that helped me understand these ICC annotations.
Mbodin
committed