Actually use the log file, fixed bad update grep (UNIX)#307

Open

chris-blackburn wants to merge 1 commit intoludovicchabant:masterfrom chris-blackburn:master

+9-2

Commits on Aug 21, 2021

Actually use the log file, fixed bad update grep
chris-blackburn
committed