Started 14 hr ago
Took 29 min

Success Build #1796 (Nov 13, 2019 11:03:16 AM)

PR #4558: Used fgets to read file in ...

GitHub pull request #4558 of commit dc817b92d1294bd608784934bc8850abc5aee01d, no merge conflicts.