-
Tim Bradshaw authored
The element type of the buffer should also be the element type of the stream, rather than character. This is a fix to the previous commit.
6ff6820c
The element type of the buffer should also be the element type of the stream, rather than character. This is a fix to the previous commit.