]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #13783 from opensourcerouting/fix/some_gcc13_nits
authorDonald Sharp <donaldsharp72@gmail.com>
Wed, 14 Jun 2023 10:56:40 +0000 (06:56 -0400)
committerGitHub <noreply@github.com>
Wed, 14 Jun 2023 10:56:40 +0000 (06:56 -0400)
GCC13 nits


Trivial merge