]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #1518 from opensourcerouting/clippy-issues
authorDonald Sharp <sharpd@cumulusnetworks.com>
Mon, 4 Dec 2017 22:45:05 +0000 (17:45 -0500)
committerGitHub <noreply@github.com>
Mon, 4 Dec 2017 22:45:05 +0000 (17:45 -0500)
*: make clippy usage more consistent


Trivial merge