diff options
| author | Russ White <russ@riw.us> | 2018-02-20 07:01:17 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-20 07:01:17 -0500 |
| commit | c30895ac3ee0b40d276c72f5469b1f5d2d734912 (patch) | |
| tree | 51df2c232ccfd4eced4cfa6fcae2a300723f4cb8 /tools/git-reindent-branch.py | |
| parent | ac71b27a7c416a24230084e59fe0cdf5dceb3f44 (diff) | |
| parent | 827ed7076d4761e2c3cd8fb91053b738b0231898 (diff) | |
Merge pull request #1757 from dwalton76/bgpd-remove-peer-in-peergroup
bgpd: "no neighbor 10.13.0.12 peer-group ibgp" does not remove peer
Diffstat (limited to 'tools/git-reindent-branch.py')
0 files changed, 0 insertions, 0 deletions