Merge error: platform.py would not import

diff --git a/Lib/platform.py b/Lib/platform.py
index 33033ff0e0b41784535ef26b4b62d81b678992ba..ff81d2819658ce0189e4e1540249f79d0f68c08a 100755 (executable)
--- a/Lib/platform.py
+++ b/Lib/platform.py
@@ -1089,7 +1089,7 @@ def uname():
             node = _node()
             machine = ''
 
-        use_syscmd_ver = 01
+        use_syscmd_ver = 1
 
         # Try win32_ver() on win32 platforms
         if system == 'win32':