Commit 8138f3e172dbeb6d845fda505dde9b15b85ec310

Stefan Sperling 2019-08-11T18:39:32

fprintf returns int, not size_t; from Hiltjo Posthuma