]> git.lizzy.rs Git - rust.git/commitdiff
Merge pull request #1728 from Manishearth/inspector
authorOliver Schneider <oli-obk@users.noreply.github.com>
Tue, 9 May 2017 13:26:01 +0000 (15:26 +0200)
committerGitHub <noreply@github.com>
Tue, 9 May 2017 13:26:01 +0000 (15:26 +0200)
Print type adjustments in the inspector


Trivial merge