This commit supports $LOG_WITH_TIMESTAMP
to generate shorter log output#101
Open
NotTheEvilOne wants to merge 1 commit intomainfrom prs/support-shorter-logs-for-CI
+9-1
$LOG_WITH_TIMESTAMP
to generate shorter log output#101