]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #15380 from FRRouting/mergify/bp/dev/10.0/pr-15371
authorIgor Ryzhov <iryzhov@nfware.com>
Thu, 15 Feb 2024 22:10:18 +0000 (00:10 +0200)
committerGitHub <noreply@github.com>
Thu, 15 Feb 2024 22:10:18 +0000 (00:10 +0200)
Fixes for the northbound/mgmtd (backport #15371)


Trivial merge