From 7eaf732c4c2839da0d352dfc080e107828cdadd4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@grepit.se>
Date: Fri, 18 Feb 2022 19:58:21 +0100
Subject: [PATCH] Provide Mutex relative to prelude to fix doc linking issues
 coming from rtic-core

---
 src/lib.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/lib.rs b/src/lib.rs
index d3195a6346..871141f62c 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -45,6 +45,7 @@ pub use rtic_monotonic::{self, Monotonic};
 /// module `mutex::prelude` provides `Mutex` and multi-lock variants. Recommended over `mutex_prelude`
 pub mod mutex {
     pub use rtic_core::prelude;
+    pub use rtic_core::Mutex;
 }
 
 #[doc(hidden)]