From: Quentin Young Date: Thu, 13 Jun 2019 19:06:24 +0000 (-0400) Subject: Merge pull request #4500 from opensourcerouting/clippy-improve X-Git-Tag: base_7.2~235 X-Git-Url: https://git.puffer.fish/?a=commitdiff_plain;h=42aac9b2abe62b3eae952ba690bdec855edc1ba7;p=mirror%2Ffrr.git Merge pull request #4500 from opensourcerouting/clippy-improve clippy: batch of improvements --- 42aac9b2abe62b3eae952ba690bdec855edc1ba7