From: Stefan Disch <disch@informatik.uni-freiburg.de>
Date: Sun, 6 Mar 2016 09:54:47 +0000 (+0100)
Subject: Removed warning of rustc 1.7.0 complaining about deprecated usage of std::thread... 
X-Git-Url: https://git.ralfj.de/rust-101.git/commitdiff_plain/ab942598491747509a9586bf3c0c1c65785b9dd3?ds=sidebyside;hp=ab942598491747509a9586bf3c0c1c65785b9dd3

Removed warning of rustc 1.7.0 complaining about deprecated usage of std::thread::sleep_ms.
Now std::thread::sleep is used together with std::time::Duration::from_millis.
---