]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #8065 from donaldsharp/foo_master
authorDonatas Abraitis <donatas.abraitis@gmail.com>
Fri, 12 Feb 2021 15:04:59 +0000 (17:04 +0200)
committerGitHub <noreply@github.com>
Fri, 12 Feb 2021 15:04:59 +0000 (17:04 +0200)
bgpd: When deleting a neighbor from a peer-group the PGNAME is optional


Trivial merge