]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #10776 from donaldsharp/vrrp_compile
authorDavid Lamparter <equinox@opensourcerouting.org>
Fri, 11 Mar 2022 15:29:27 +0000 (16:29 +0100)
committerGitHub <noreply@github.com>
Fri, 11 Mar 2022 15:29:27 +0000 (16:29 +0100)

Trivial merge