Merge pull request #7 from stefanschuermans/schuermans.read_file_close
Florian Walbroel commited on 2021-01-13 15:44:01
Showing 0 changed files, with 0 additions and 0 deletions.
fix read_file: close file on success