random: add tracking issue, address other comments

2024-09-22 16:33:58 +02:00
parent a21ff017f4
commit e94dd9b712
4 changed files with 19 additions and 14 deletions
--- a/library/core/src/lib.rs
+++ b/library/core/src/lib.rs
@@ -394,7 +394,7 @@ pub mod panicking;
 #[unstable(feature = "core_pattern_types", issue = "123646")]
 pub mod pat;
 pub mod pin;
-#[unstable(feature = "random", issue = "none")]
+#[unstable(feature = "random", issue = "130703")]
 pub mod random;
 #[unstable(feature = "new_range_api", issue = "125687")]
 pub mod range;