Do not hit github api to get latest version from install script#347

Merged

masci merged 3 commits intomasterfrom

Aug 19, 2019

Commits on Aug 14, 2019

do not hit github api to get latest version
Massimiliano Pippi
committed
do not repeat the same comment
Massimiliano Pippi
committed
don't use PCRE
Massimiliano Pippi
committed