Skip to content

Remove unneeded lifetime annotations#389

Merged
adamreichold merged 3 commits intoPyO3:mainfrom Hofer-Julian:remove-unneeded-lifetime-annotationsSep 8, 2023