Log progress#16

Merged

dcereijodo merged 3 commits intomasterfrom

Sep 28, 2019

Commits on Sep 27, 2019

inform about progress by logging a JSON message with a running count and timestamp
dcereijodo
committed

Commits on Sep 28, 2019