Fix the `FileEncoder` buffer size.#111088

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

nnethercote:fix-FileEncoder-buf-sizennethercote/rust:fix-FileEncoder-buf-sizeCopy head branch name to clipboard