Skip to content

Commit

Permalink
Update doc/src/core-transmutation.md
Browse files Browse the repository at this point in the history
  • Loading branch information
tautschnig authored Jun 12, 2024
1 parent 21099fe commit ee50c83
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion doc/src/core-transmutation.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

- **Status:** Open
- **Tracking Issue:** [Link to issue](https://github.com/model-checking/verify-rust-std/issues/19)
- **Start date:** *YY/MM/DD*
- **Start date:** 2024-06-12
- **End date:** 2024-12-10

-------------------
Expand Down

0 comments on commit ee50c83

Please sign in to comment.