Make target pointer width in target json an integer#144443

bors merged 5 commits into

rust-lang:masterrust-lang/rust:masterfrom

WaffleLapkin:integer-target-pointer-widthWaffleLapkin/rust:integer-target-pointer-widthCopy head branch name to clipboard