]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #5704 from opensourcerouting/build-cleanup-20200117
authorDonald Sharp <sharpd@cumulusnetworks.com>
Sat, 18 Jan 2020 17:09:45 +0000 (12:09 -0500)
committerGitHub <noreply@github.com>
Sat, 18 Jan 2020 17:09:45 +0000 (12:09 -0500)
build: random cleanups


Trivial merge