4 Dec
2023
4 Dec
'23
9:22 p.m.
This is probably one of those things that will never affect a real application, but I can't help noticing anyway because of the way this is currently implemented: is it correct that toggling compressed output on and back off again will reset the stream format?