Removed warning of rustc 1.7.0 complaining about deprecated usage of std::thread...
authorStefan Disch <disch@informatik.uni-freiburg.de>
Sun, 6 Mar 2016 09:54:47 +0000 (10:54 +0100)
committerStefan Disch <disch@informatik.uni-freiburg.de>
Sun, 6 Mar 2016 09:54:47 +0000 (10:54 +0100)
Now std::thread::sleep is used together with std::time::Duration::from_millis.


No differences found