Skip to content

Conversation

@omasanori
Copy link
Contributor

No description provided.

Signed-off-by: OGINO Masanori <masanori.ogino@gmail.com>
@sfackler
Copy link
Member

:(

@huonw
Copy link
Contributor

huonw commented Oct 12, 2014

Geez, that's nearly a megabyte; nice catch! I thought we had make tidy checking for this, @alexcrichton?

alexcrichton added a commit to alexcrichton/rust that referenced this pull request Oct 12, 2014
Apparently the fix in d08441b didn't catch a recent executable (rust-lang#17965), but
I've verified that this does indeed catch the executable
@alexcrichton
Copy link
Member

Fixed in #17980

@bors bors closed this Oct 13, 2014
@bors bors merged commit b6397da into rust-lang:master Oct 13, 2014
@omasanori omasanori deleted the remove branch October 14, 2014 11:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants