]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #13406 from LabNConsulting/chopps/log-timestamp-buildopt
authorDonald Sharp <donaldsharp72@gmail.com>
Mon, 1 May 2023 13:51:46 +0000 (09:51 -0400)
committerGitHub <noreply@github.com>
Mon, 1 May 2023 13:51:46 +0000 (09:51 -0400)
startup log timestamp precision build option


Trivial merge