]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #12164 from FRRouting/mergify/bp/dev/8.4/pr-12160
authorDonatas Abraitis <donatas@opensourcerouting.org>
Fri, 21 Oct 2022 07:02:23 +0000 (10:02 +0300)
committerGitHub <noreply@github.com>
Fri, 21 Oct 2022 07:02:23 +0000 (10:02 +0300)
Debug nh fix (backport #12160)


Trivial merge