]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #11569 from opensourcerouting/gcc-plugin-shortcomings-220708
authorDonald Sharp <donaldsharp72@gmail.com>
Sat, 9 Jul 2022 01:30:54 +0000 (21:30 -0400)
committerGitHub <noreply@github.com>
Sat, 9 Jul 2022 01:30:54 +0000 (21:30 -0400)
bgpd: work around GCC/plugin shortcomings


Trivial merge