Re: [PATCH 02/10] remote: Eliminate remote_hostio_close_cleanup

Tom Tromey
2018-05-16T18:20:28Z

>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes:

Pedro> So it seems to me that the below would be the way to go. WDYT?

Yeah, seems like a good idea.

Tom