Skip to content

python: Rename internal NAMED_INDIVIDUALS registry - #143

Merged
JPEWdev merged 2 commits into
JPEWdev:mainfrom
bact:fix-named-individuals-leak
Aug 13, 2026
Merged

python: Rename internal NAMED_INDIVIDUALS registry#143
JPEWdev merged 2 commits into
JPEWdev:mainfrom
bact:fix-named-individuals-leak

Merge branch 'JPEWdev:main' into fix-named-individuals-leak

dd9ff77
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 10 notices
Generate coverage report
succeeded Aug 13, 2026 in 8m 10s