Close Challenge 19

Author: btj

doc/src/challenges/0019-rawvec.md

@@ -1,10 +1,11 @@
-# Challenge 25: Verify the safety of `RawVec` functions
+# Challenge 19: Verify the safety of `RawVec` functions
 
-- **Status:** Open
+- **Status:** Resolved
 - **Tracking Issue:** [#283](https://github.com/model-checking/verify-rust-std/issues/283)
 - **Start date:** *2025-03-07*
-- **End date:** *2025-10-17*
+- **End date:** *2025-08-12*
 - **Reward:** *10000 USD*
+- **Contributors:** [Bart Jacobs](https://github.com/btj)
 
 -------------------