]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #12486 from FRRouting/mergify/bp/stable/8.4/pr-12482
authorDonatas Abraitis <donatas@opensourcerouting.org>
Sun, 11 Dec 2022 19:35:23 +0000 (21:35 +0200)
committerGitHub <noreply@github.com>
Sun, 11 Dec 2022 19:35:23 +0000 (21:35 +0200)
Mem this (backport #12482)


Trivial merge