Skip to content

Close file handles if close_on_exit even if safer.writer() fails; use future type annotations#28

Merged
rec merged 3 commits intomainfrom fix-closeNov 5, 2024