]> git.lizzy.rs Git - rust.git/commit
Merge pull request #5 from oliver-giersch/master
authoroliver-giersch <oliver.giersch@googlemail.com>
Mon, 15 Oct 2018 12:38:34 +0000 (14:38 +0200)
committerGitHub <noreply@github.com>
Mon, 15 Oct 2018 12:38:34 +0000 (14:38 +0200)
commit30bfdc872020c6addcb2ea488b2a6dbdd5ef355a
tree9c2ccdcdd23848de81e3cbf54be11ea029ba1614
parent3527d1d5298fafe6d9e480f95e47f970f1b3adc1
parent5891a64165ea4819ca331f5a35f5318a91e1be3f
Merge pull request #5 from oliver-giersch/master

sync with upstream
src/libstd/thread/mod.rs