Update version checker for github.

This commit is contained in:
Felix Kauselmann 2018-06-07 14:44:18 +02:00
parent a2c0c65006
commit a658b0595e