commit | 6f62f0052b7250be58057b568948abcaee7e355f | [log] [tgz] |
---|---|---|
author | GianMaria Romanato <gm.romanato@gmail.com> | Wed Apr 19 10:24:45 2017 +0200 |
committer | GianMaria Romanato <gm.romanato@gmail.com> | Wed Apr 19 10:24:45 2017 +0200 |
tree | 273d06bfe59fb6fea03bb6938de23f524b42fa43 | |
parent | 69f76b7d866f4c2e1d3820eafc083ca8fd841706 [diff] |
510327: Virgo server reports os.name=win32 on Windows 10 Tentatively change from win32 to "Windows 8"