Close pipes when dropping them, check for closed pipe when flushing a writer#13
Open
maxbrunsfeld wants to merge 2 commits into
Open
Close pipes when dropping them, check for closed pipe when flushing a writer#13maxbrunsfeld wants to merge 2 commits into
maxbrunsfeld wants to merge 2 commits into