New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Now only recording written_log_header_ = true if output_flag is true … #2161

Merged

jajhall merged 1 commit into latest from fix-log-header

Jan 30, 2025

Member

jajhall commented Jan 30, 2025

Now only recording written_log_header_ = true if output_flag is true so log header is printed if output_flag is first false and later set true


          Now only recording written_log_header_ = true if output_flag is true …

6fb8f36

…so log header is printed if output_flag is later set true

jajhall merged commit 52af45f into latest

259 of 271 checks passed

jajhall deleted the fix-log-header branch

January 30, 2025 15:47

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet