Issue #12175: FileIO.readall() now only reads the file position and size once.
2 files changed