From: bors <bors@rust-lang.org>
Date: Wed, 28 Aug 2013 22:30:38 +0000 (-0700)
Subject: auto merge of #8718 : bblum/rust/typeof, r=pcwalton
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=7971c46c44420f2b72086ff0b8726b1ada308bcc;p=rust.git

auto merge of #8718 : bblum/rust/typeof, r=pcwalton

r? anybody
---

7971c46c44420f2b72086ff0b8726b1ada308bcc