]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #15154 from idryzhov/mgmt-get-data
authorChristian Hopps <chopps@labn.net>
Mon, 15 Jan 2024 12:03:34 +0000 (07:03 -0500)
committerGitHub <noreply@github.com>
Mon, 15 Jan 2024 12:03:34 +0000 (07:03 -0500)
mgmtd get-data request expansion


Trivial merge