]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #4657 from qlyoung/cleanup-protonum-vrrrrrrrrrrrrrrrrrrrrrrrrrrrrr...
authorPhilippe Guibert <philippe.guibert@6wind.com>
Tue, 9 Jul 2019 10:27:11 +0000 (11:27 +0100)
committerGitHub <noreply@github.com>
Tue, 9 Jul 2019 10:27:11 +0000 (11:27 +0100)
vrrpd: use protocol number constant


Trivial merge