This repository has been archived by the owner on Dec 29, 2022. It is now read-only.

handle both number and string ids#361

Merged

nrc merged 1 commit intorust-lang:masterfrom Trolldemorted:stringids

Jul 5, 2017

+16-3

Commits on Jul 4, 2017

mitigates rust-lang#360 (for numeric strings)
Trolldemorted
committed