Fix uses of banner_is_disabled()
to not preclude -V
printouts; common formation of the banner string; better detection of time.h
methods
#1954
Annotations
19 warnings