]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #12319 from FRRouting/mergify/bp/stable/8.4/pr-12315
authorDonatas Abraitis <donatas@opensourcerouting.org>
Tue, 15 Nov 2022 09:28:25 +0000 (11:28 +0200)
committerGitHub <noreply@github.com>
Tue, 15 Nov 2022 09:28:25 +0000 (11:28 +0200)
Dplane sorry (backport #12315)


Trivial merge