]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #13252 from FRRouting/mergify/bp/stable/8.4/pr-13247
authorDonatas Abraitis <donatas@opensourcerouting.org>
Tue, 11 Apr 2023 11:44:36 +0000 (14:44 +0300)
committerGitHub <noreply@github.com>
Tue, 11 Apr 2023 11:44:36 +0000 (14:44 +0300)
Evpn crashes and other ilk (backport #13247)


Trivial merge