Skip to content

Use the extension_name in develop builds#1416

Merged
bors[bot] merged 1 commit intoPyO3:mainfrom badboy:use-extension-name-for-develop-buildJan 18, 2023
+1-1

Commits

Commits on Jan 17, 2023