auto merge of #6783 : hoelzro/rust/master, r=bstrie

I think settings like this should be left up to the user.

Author: bors