rust/hedgewars-server/Cargo.toml
changeset 14777 8015a6e4ca3c
parent 14775 09d46ab83361
child 14779 f43ab2bd76ae
--- a/rust/hedgewars-server/Cargo.toml	Mon Apr 08 23:05:54 2019 +0200
+++ b/rust/hedgewars-server/Cargo.toml	Tue Apr 09 00:06:53 2019 +0300
@@ -26,4 +26,4 @@
 mysql = { version = "15.0", optional = true }
 
 [dev-dependencies]
-proptest = "0.8"
+proptest = "0.9"