Fix #16176. Properly identify Windows 8 via platform.platform()
Add handling of the 6.2 release line, aka Windows 8 and Windows 2012 Server.
diff --git a/Lib/platform.py b/Lib/platform.py
index 20b9175..c0016a8 100755
--- a/Lib/platform.py
+++ b/Lib/platform.py
@@ -673,8 +673,13 @@
release = '7'
else:
release = '2008ServerR2'
+ elif min == 2:
+ if product_type == VER_NT_WORKSTATION:
+ release = '8'
+ else:
+ release = '2012Server'
else:
- release = 'post2008Server'
+ release = 'post2012Server'
else:
if not release: