tree 273d06bfe59fb6fea03bb6938de23f524b42fa43
parent 69f76b7d866f4c2e1d3820eafc083ca8fd841706
author GianMaria Romanato <gm.romanato@gmail.com> 1492590285 +0200
committer GianMaria Romanato <gm.romanato@gmail.com> 1492590285 +0200

510327: Virgo server reports os.name=win32 on Windows 10 

Tentatively change from win32 to "Windows 8"