]> git.puffer.fish Git - mirror/frr.git/commit
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)
commitd17ea5225bb520a94af1b149c26e1807b929ebf1
treef8a109eefae935dc2bc5a117ea167087b415dc55
parent50a0033c24ec12e2e327d01863f7956672236b0c
parent2e4c22961689fb7ddb973cac9c5cf930d5b7d85f
Merge pull request #1518 from opensourcerouting/clippy-issues

*: make clippy usage more consistent