]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #3963 from AnuradhaKaruppiah/dad-fixes
authorSri Mohana Singamsetty <srimohans@gmail.com>
Sun, 17 Mar 2019 17:41:20 +0000 (10:41 -0700)
committerGitHub <noreply@github.com>
Sun, 17 Mar 2019 17:41:20 +0000 (10:41 -0700)
zebra: EVPN DAD trigger was causing zebra to crash


Trivial merge