Re: stream operations unnecessarily hold on to the original stream Phil Bewig 03 Mar 2023 22:55 UTC