chiark / gitweb /
fileio: make sure read_full_stream() works on memory-backed streams