On 20/02/15 17:26, Paul Eggert wrote: > Pádraig Brady wrote: >> We're discarding the errno from the close() in both cases, >> so wouldn't this simplification be better? > > Yes, thanks, that looks better to me too.
Pushed in Jaroslav's name at: http://git.sv.gnu.org/gitweb/?p=gnulib.git;a=commit;h=12d27cac
