Skip to content

Do not elide lifetimes and try to be disciplined about naming the GIL lifetime 'py. - #390

Merged
adamreichold merged 1 commit into
mainfrom
dont-elide-lifetimes
Sep 11, 2023
Merged

Do not elide lifetimes and try to be disciplined about naming the GIL lifetime 'py.#390
adamreichold merged 1 commit into
mainfrom
dont-elide-lifetimes

Commits

Commits on Sep 8, 2023