]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #13884 from FRRouting/mergify/bp/dev/9.0/pr-13869
authorDonatas Abraitis <donatas@opensourcerouting.org>
Fri, 30 Jun 2023 07:47:25 +0000 (10:47 +0300)
committerGitHub <noreply@github.com>
Fri, 30 Jun 2023 07:47:25 +0000 (10:47 +0300)
pbrd: fix crash with match command (backport #13869)


Trivial merge