diff --git a/egui_demo_lib/src/apps/demo/font_book.rs b/egui_demo_lib/src/apps/demo/font_book.rs
index 2572296b..24d32ea3 100644
--- a/egui_demo_lib/src/apps/demo/font_book.rs
+++ b/egui_demo_lib/src/apps/demo/font_book.rs
@@ -111,6 +111,7 @@ fn char_name(chr: char) -> String {
     unicode_names2::name(chr)
         .map(|name| name.to_string().to_lowercase())
         .unwrap_or_else(|| {
+            #[allow(clippy::match_same_arms)]
             match chr {
                 // Special private-use-area extensions found in `emoji-icon-font.ttf`:
                 // Private use area extensions: