Add pull random ticket. And small housekeeping.#70

Merged

mrf345 merged 1 commit intomasterfrom testing

Feb 9, 2020

+116-16

Commits on Feb 9, 2020

Add pull random ticket. And small housekeeping.
mrf345
committed