Skip to content

Do not write anything into the log file when there are no queries to log#463

Merged
hra687261 merged 1 commit intoformalsec:mainfrom
hra687261:donotlog_empty_queries
Nov 25, 2025
Merged

Do not write anything into the log file when there are no queries to log#463
hra687261 merged 1 commit intoformalsec:mainfrom
hra687261:donotlog_empty_queries

Commits