diff --git a/doc/src/core-transmutation.md b/doc/src/core-transmutation.md index c4120314e5fb1..d22f21e6b9532 100644 --- 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 -------------------