Skip to content

Mark extensions as optional on all platforms#133

Merged
jelmer merged 1 commit into
masterfrom
pure-python
Sep 15, 2025
Merged

Mark extensions as optional on all platforms#133
jelmer merged 1 commit into
masterfrom
pure-python

Commits

Commits on Sep 15, 2025