diff options
author | Marc Hoersken <info@marc-hoersken.de> | 2020-04-13 19:18:15 +0200 |
---|---|---|
committer | Marc Hoersken <info@marc-hoersken.de> | 2020-04-14 17:50:38 +0200 |
commit | 8a2038a3ad36b292c0f15b4a5070fc3d78e7dc45 (patch) | |
tree | 921598d5c2f2483d2f0f64aa1e4b7b0cdb20d875 /projects/generate.bat | |
parent | 7bade50b6363e4f3e09a592e0ef10144833b7e97 (diff) |
sockfilt: fix broken pipe on Windows to be ready in select_ws
Closes #5228
Diffstat (limited to 'projects/generate.bat')
0 files changed, 0 insertions, 0 deletions