Update doc/src/core-transmutation.md

pnkfelix · Jun 12, 2024 · fbc02a3 · fbc02a3
1 parent e55b676
commit fbc02a3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/src/core-transmutation.md b/doc/src/core-transmutation.md
@@ -3,7 +3,7 @@
 - **Status:** Open
 - **Tracking Issue:** [Link to issue](https://github.com/model-checking/verify-rust-std/issues/19)
 - **Start date:** *YY/MM/DD*
-- **End date:** *YY/MM/DD*
+- **End date:** 2024-12-10
 
 -------------------