]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #15246 from idryzhov/mgmt-get-data-improvements
authorChristian Hopps <chopps@labn.net>
Wed, 31 Jan 2024 11:04:04 +0000 (06:04 -0500)
committerGitHub <noreply@github.com>
Wed, 31 Jan 2024 11:04:04 +0000 (06:04 -0500)
mgmt get-data improvements


Trivial merge