// option. This file may not be copied, modified, or distributed
// except according to those terms.
-
-#![feature(tool_lints)]
-
#![allow(clippy::useless_attribute)] //issue #2910
+#![allow(clippy::random_state)] // issue #3628
#[macro_use]
extern crate serde_derive;