]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #3253 from opensourcerouting/6.0-backport-build
authorQuentin Young <qlyoung@users.noreply.github.com>
Mon, 29 Oct 2018 18:21:47 +0000 (14:21 -0400)
committerGitHub <noreply@github.com>
Mon, 29 Oct 2018 18:21:47 +0000 (14:21 -0400)
6.0: backport build changes from master


Trivial merge