]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #14091 from FRRouting/mergify/bp/dev/9.0/pr-14081
authorDonald Sharp <donaldsharp72@gmail.com>
Tue, 25 Jul 2023 18:25:48 +0000 (14:25 -0400)
committerGitHub <noreply@github.com>
Tue, 25 Jul 2023 18:25:48 +0000 (14:25 -0400)
Bgp ringbuf cleanup (backport #14081)


Trivial merge