From a9d6e5cc6f88e07ffaa0b7a7664a583b2fcbf370 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Fri, 16 Aug 2024 12:25:34 +0000 Subject: [PATCH] Updated URL --- doc/src/challenges/0006-nonnull.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/src/challenges/0006-nonnull.md b/doc/src/challenges/0006-nonnull.md index ef2add5bda8af..a619ed49f2698 100644 --- a/doc/src/challenges/0006-nonnull.md +++ b/doc/src/challenges/0006-nonnull.md @@ -1,7 +1,7 @@ # Challenge 6: Safety of NonNull - **Status:** Open -- **Tracking Issue:** [Link to issue](TODO: https://github.com/model-checking/verify-rust-std/issues/TBA) +- **Tracking Issue:** [Link to issue](https://github.com/model-checking/verify-rust-std/issues/53) - **Start date:** *2024-08-16* - **End date:** *2024-12-10*