Skip to content

BUG: ensure IO resources are properly closed after data was read from file - #15

Open
neutrinoceros wants to merge 1 commit into
birnstiel:masterfrom
neutrinoceros:bug/resource-management
Open

BUG: ensure IO resources are properly closed after data was read from file#15
neutrinoceros wants to merge 1 commit into
birnstiel:masterfrom
neutrinoceros:bug/resource-management

Commits

Commits on Apr 4, 2026