Alex Crichton 9ac8a974a9 Fix name of "current thread ID" intrinsic
This was accidentally renamed in the transition to `walrus`, but
upstream rust-lang/rust still uses the old name so let's switch back to
that.
2019-03-01 09:22:30 -08:00
..
2019-02-15 08:16:24 -08:00
2019-02-15 08:16:24 -08:00
2019-02-15 08:16:24 -08:00
2019-02-15 08:16:24 -08:00
2019-02-15 08:16:24 -08:00
2018-11-27 12:07:59 -08:00
2019-02-19 14:14:01 -08:00
2019-02-15 08:16:24 -08:00
2019-02-15 08:16:24 -08:00
2019-01-22 21:35:22 -05:00