Updated URL

model-checking · Aug 16, 2024 · a9d6e5c · a9d6e5c
1 parent 8ad12bb
commit a9d6e5c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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*