]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #1522 from opensourcerouting/u1710-stable3
authorDonald Sharp <sharpd@cumulusnetworks.com>
Fri, 8 Dec 2017 00:04:44 +0000 (16:04 -0800)
committerGitHub <noreply@github.com>
Fri, 8 Dec 2017 00:04:44 +0000 (16:04 -0800)
Ubuntu 17.10 fixes for stable/3.0 branch


Trivial merge