From 06f8b81ace48b78f4e154c3629432f1dfae0b8e0 Mon Sep 17 00:00:00 2001
From: Jonas Platte <jplatte+git@posteo.de>
Date: Sat, 21 Aug 2021 14:28:52 +0200
Subject: [PATCH] client-api: Remove unnecessary attribute

---
 crates/ruma-client-api/src/r0/uiaa.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/crates/ruma-client-api/src/r0/uiaa.rs b/crates/ruma-client-api/src/r0/uiaa.rs
index 91cc9556..60101b40 100644
--- a/crates/ruma-client-api/src/r0/uiaa.rs
+++ b/crates/ruma-client-api/src/r0/uiaa.rs
@@ -28,7 +28,6 @@ mod user_serde;
 /// Additional authentication information for the user-interactive authentication API.
 #[derive(Clone, Debug, Outgoing, Serialize)]
 #[non_exhaustive]
-#[allow(clippy::manual_non_exhaustive)]
 #[incoming_derive(!Deserialize)]
 #[serde(untagged)]
 pub enum AuthData<'a> {