diff options
| author | Rafael Bachmann <[email protected]> | 2024-03-25 14:43:18 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2024-03-25 14:43:18 +0100 |
| commit | cf789be420f73a04f40b47500c916bbd8cd4740e (patch) | |
| tree | d81e1de25e398140f6243d484d339a622eed76d1 /embassy-sync/src/lib.rs | |
| parent | 255ed29853eb88bff2ee548c63fb4d0a6dfad7e8 (diff) | |
| parent | 133a753e49a9e04ae4711a4cf8888df864aac98b (diff) | |
Merge branch 'embassy-rs:main' into barafael/minor_clippy_lints_rp
Diffstat (limited to 'embassy-sync/src/lib.rs')
| -rw-r--r-- | embassy-sync/src/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/embassy-sync/src/lib.rs b/embassy-sync/src/lib.rs index d88c76db5..61b173e80 100644 --- a/embassy-sync/src/lib.rs +++ b/embassy-sync/src/lib.rs | |||
| @@ -13,6 +13,7 @@ mod ring_buffer; | |||
| 13 | pub mod blocking_mutex; | 13 | pub mod blocking_mutex; |
| 14 | pub mod channel; | 14 | pub mod channel; |
| 15 | pub mod mutex; | 15 | pub mod mutex; |
| 16 | pub mod once_lock; | ||
| 16 | pub mod pipe; | 17 | pub mod pipe; |
| 17 | pub mod priority_channel; | 18 | pub mod priority_channel; |
| 18 | pub mod pubsub; | 19 | pub mod pubsub; |