nikomatsakis/rust — comment on commit 5ae8b39f43503cdc2f1c0191c26cb244fd270448
File:  line 0
By nikomatsakis:

agreed. I pushed that change.