Skip to content

Auto merge of #740 - rust-lang:MarcoIeni-patch-1, r=MarcoIeni #268

Auto merge of #740 - rust-lang:MarcoIeni-patch-1, r=MarcoIeni

Auto merge of #740 - rust-lang:MarcoIeni-patch-1, r=MarcoIeni #268