Use standard In_channel.with_open_* and Out_channel.with_open_* where possible
#1880
Loading
In_channel.with_open_* and Out_channel.with_open_* where possible
#1880