Fix AVS number, which is digits-only.#89
Merged
keitharm merged 1 commit intoRandomAPI:masterfrom May 3, 2018
martignoni:fix-AVS-number
Merged
Fix AVS number, which is digits-only.#89keitharm merged 1 commit intoRandomAPI:masterfrom martignoni:fix-AVS-number
keitharm merged 1 commit intoRandomAPI:masterfrom
martignoni:fix-AVS-number