From: Donald Sharp Date: Fri, 25 Aug 2017 17:51:46 +0000 (-0400) Subject: Merge pull request #1045 from opensourcerouting/clippy-coverity X-Git-Tag: frr-4.0-dev~374 X-Git-Url: https://git.puffer.fish/?a=commitdiff_plain;h=e1bd637370df9708af91c699b2510a788625bc5a;p=matthieu%2Ffrr.git Merge pull request #1045 from opensourcerouting/clippy-coverity clippy: disable unneeded autogenerated code --- e1bd637370df9708af91c699b2510a788625bc5a