Make Option<ThreadId> no larger than ThreadId, with NonZeroU64#59291
Merged
bors merged 2 commits intorust-lang:masterfrom Mar 23, 2019
Merged
Make Option<ThreadId> no larger than ThreadId, with NonZeroU64#59291bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom
