remove headers from unique vectors/strings#7816
Merged
bors merged 1 commit intorust-lang:masterfrom Jul 16, 2013
thestinger:header
Merged
remove headers from unique vectors/strings#7816bors merged 1 commit intorust-lang:masterfrom thestinger:header
bors merged 1 commit intorust-lang:masterfrom
thestinger:header
