Issue #13063: the Windows error ERROR_NO_DATA (numbered 232 and described

as "The pipe is being closed") is now mapped to POSIX errno EPIPE
(previously EINVAL).