]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #14492 from LabNConsulting/oper-state
authorIgor Ryzhov <iryzhov@nfware.com>
Fri, 29 Dec 2023 05:08:30 +0000 (07:08 +0200)
committerGitHub <noreply@github.com>
Fri, 29 Dec 2023 05:08:30 +0000 (07:08 +0200)
oper state


Trivial merge