Assign number

Signed-off-by: Xuanwo <github@xuanwo.io>
apache · Dec 23, 2024 · d4f8b52 · d4f8b52
1 parent 657ef36
commit d4f8b52
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/core/src/docs/rfcs/0000_operator_from_uri.md → core/src/docs/rfcs/5444_operator_from_uri.md b/core/src/docs/rfcs/0000_operator_from_uri.md → core/src/docs/rfcs/5444_operator_from_uri.md
diff --git a/core/src/docs/rfcs/mod.rs b/core/src/docs/rfcs/mod.rs
@@ -240,3 +240,7 @@ pub mod rfc_4638_executor {}
 /// Remove metakey
 #[doc = include_str!("5314_remove_metakey.md")]
 pub mod rfc_5314_remove_metakey {}
+
+/// Operator from uri
+#[doc = include_str!("5444_operator_from_uri.md")]
+pub mod rfc_5444_operator_from_uri {}