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