Skip to content

Fix compilation with rustc 1.23.0-nightly (d762b1d6c 2017-11-04)#2120

Closed
kraai wants to merge 1 commit intorust-lang:masterfrom
kraai:2119
Closed

Fix compilation with rustc 1.23.0-nightly (d762b1d6c 2017-11-04)#2120
kraai wants to merge 1 commit intorust-lang:masterfrom
kraai:2119

Commits

Commits on Nov 5, 2017