Auto merge of #26621 - tshepang:missed-removal, r=steveklabnik

Should have happened in 69abc12b00
This commit is contained in:
bors 2015-06-27 17:40:59 +00:00
commit 8fa2185e0b

Diff content is not available