chiark / gitweb /
Fix memory management of argument to open_input_file