Re: stream operations unnecessarily hold on to the original stream Arthur A. Gleckler 03 Mar 2023 21:54 UTC