]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #7015 from donaldsharp/zebra_nht_no_heros_tonight
authorMark Stapp <mjs@voltanet.io>
Fri, 28 Aug 2020 21:08:32 +0000 (17:08 -0400)
committerGitHub <noreply@github.com>
Fri, 28 Aug 2020 21:08:32 +0000 (17:08 -0400)
zebra: When shutting down an interface immediately notify about rnh


Trivial merge