]> git.puffer.fish Git - mirror/frr.git/commit
Merge pull request #1045 from opensourcerouting/clippy-coverity
authorDonald Sharp <sharpd@cumulusnetworks.com>
Fri, 25 Aug 2017 17:51:46 +0000 (13:51 -0400)
committerGitHub <noreply@github.com>
Fri, 25 Aug 2017 17:51:46 +0000 (13:51 -0400)
commite1bd637370df9708af91c699b2510a788625bc5a
treec30009a6edb7a2a4a21bd97bebd22742f134d6e3
parent32e5503d8f987bbc1e8193ce94139d72e7ea7582
parent0ee0892b6645c93d0e5f757b665ed40722487f96
Merge pull request #1045 from opensourcerouting/clippy-coverity

clippy: disable unneeded autogenerated code