From e9f12945725cf8814fb224a30ac513074de624cc Mon Sep 17 00:00:00 2001
From: Robin Mueller <muellerr@irs.uni-stuttgart.de>
Date: Wed, 14 Sep 2022 11:19:19 +0200
Subject: [PATCH] clippy did not find this..

---
 src/gpio/dynpins.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/gpio/dynpins.rs b/src/gpio/dynpins.rs
index 13944c7..e18731b 100644
--- a/src/gpio/dynpins.rs
+++ b/src/gpio/dynpins.rs
@@ -150,7 +150,7 @@ pub enum DynGroup {
 }
 
 /// Value-level `struct` representing pin IDs
-#[derive(PartialEq, Clone, Copy)]
+#[derive(PartialEq, Eq, Clone, Copy)]
 pub struct DynPinId {
     pub group: DynGroup,
     pub num: u8,