]> git.lizzy.rs Git - rust.git/commitdiff
Merge pull request #171 from RalfJung/println
authorOliver Schneider <oli-obk@users.noreply.github.com>
Wed, 31 May 2017 06:24:15 +0000 (08:24 +0200)
committerGitHub <noreply@github.com>
Wed, 31 May 2017 06:24:15 +0000 (08:24 +0200)
Work with MIR-libstd


Trivial merge