]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #12178 from opensourcerouting/fix/revert_13111667513a0f91a8e875cdf...
authorDonald Sharp <donaldsharp72@gmail.com>
Sun, 23 Oct 2022 19:13:26 +0000 (15:13 -0400)
committerGitHub <noreply@github.com>
Sun, 23 Oct 2022 19:13:26 +0000 (15:13 -0400)
Revert "doc: Add `neighbor PEER extended-optional-parameters` command"


Trivial merge