This repository has been archived by the owner on Jan 8, 2024. It is now read-only.

pipes do not allow redirecting stderr #20

Open

rexim opened this issue Jan 31, 2021 · 0 comments

Member

rexim commented Jan 31, 2021

introduced in #19

rexim added a commit that referenced this issue


          Add TODO(#20)

452b98d

rexim added a commit that referenced this issue


          Move TODO(#20)

840824b

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.