add link to issue

model-checking · Aug 23, 2024 · b22d9ce · b22d9ce
1 parent badae76
commit b22d9ce
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/src/challenges/0012-nonzero.md b/doc/src/challenges/0012-nonzero.md
@@ -1,7 +1,7 @@
 # Challenge 12: Safety of `NonZero`
 
 - **Status:** Open
-- **Tracking Issue:** *Link to issue*
+- **Tracking Issue:** [Link to issue](https://github.com/model-checking/verify-rust-std/issues/71)
 - **Start date:** *2024-08-23*
 - **End date:** *2024-12-10*