tracing: make the "log" feature honor `log`'s max level#870

Merged

hawkw merged 1 commit intomasterfrom eliza/check_log_max

Jul 31, 2020

+26-24

Commits on Jul 31, 2020

tracing: make the "log" feature honor log's max level
hawkw
committed