]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #12077 from FRRouting/mergify/bp/stable/8.3/pr-11656
authorDonatas Abraitis <donatas@opensourcerouting.org>
Tue, 11 Oct 2022 15:00:40 +0000 (18:00 +0300)
committerGitHub <noreply@github.com>
Tue, 11 Oct 2022 15:00:40 +0000 (18:00 +0300)
Some memory (backport #11656)


Trivial merge