add link to issue

model-checking · Sep 9, 2024 · 232fc37 · 232fc37
1 parent 5ea1560
commit 232fc37
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/src/challenges/0007-atomic-types.md b/doc/src/challenges/0007-atomic-types.md
@@ -1,7 +1,7 @@
 # Challenge 7: Safety of Methods for Atomic Types and `ReentrantLock`
 
 - **Status:** Open
-- **Tracking Issue:** *Link to issue*
+- **Tracking Issue:** [#83](https://github.com/model-checking/verify-rust-std/issues/83)
 - **Start date:** *2024-09-09*
 - **End date:** *2024-12-10*