From 6bfed9dac9208c0c5cc7072128c4f3a5496d3c09 Mon Sep 17 00:00:00 2001
From: Dominik Maier <domenukk@gmail.com>
Date: Sat, 1 May 2021 23:09:10 +0200
Subject: [PATCH] make clippy less pedantic

---
 clippy.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/clippy.sh b/clippy.sh
index 7f4e6ac479..c0583fd117 100755
--- a/clippy.sh
+++ b/clippy.sh
@@ -9,6 +9,7 @@ RUST_BACKTRACE=full cargo clippy --all -- \
    -W clippy::cast_possible_wrap \
    -W clippy::unused_self \
    -W clippy::too_many_lines \
+   -W clippy::option_if_let_else \
    -A missing-docs \
    -A clippy::doc_markdown \
    -A clippy::must-use-candidate \