]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #11829 from donaldsharp/time_32_bits
authorJafar Al-Gharaibeh <jafar@atcorp.com>
Wed, 24 Aug 2022 16:25:16 +0000 (11:25 -0500)
committerGitHub <noreply@github.com>
Wed, 24 Aug 2022 16:25:16 +0000 (11:25 -0500)
Time 32 bits


Trivial merge