From f712816c9bdcff837f636813b857a6ea91d7036c Mon Sep 17 00:00:00 2001 From: pep Date: Sat, 19 Jul 2025 23:01:43 +0200 Subject: [PATCH] Remove unused unstable feature Forgot to remove it with e064263f9671e5fb9166478f9d0c5ae4a3014c91. Signed-off-by: pep --- src/main.rs | 1 - 1 file changed, 1 deletion(-) diff --git a/src/main.rs b/src/main.rs index c9ec0ad..a267f6d 100644 --- a/src/main.rs +++ b/src/main.rs @@ -14,7 +14,6 @@ // along with this program. If not, see . #![feature(let_chains)] -#![feature(never_type)] mod bot; mod config;