Fix _handle_externals and ensure ext_info_file is closed

Closes #28 (closed)

Edited by Marco Clemencic

Merge request reports

Loading