Skip to content

log_file_header: add option to disable log file headers.#850

Merged
sergiud merged 1 commit intogoogle:masterfrom anpol:opt-out-log-file-headerAug 13, 2022
+35-28

Commits

Commits on Aug 11, 2022