RE: stream operations unnecessarily hold on to the original stream Jacob Jozef 11 Feb 2023 20:50 UTC