Re: stream operations unnecessarily hold on to the original stream Arthur A. Gleckler 08 Feb 2023 19:02 UTC