# HG changeset patch
# User Sebastien Jodogne <s.jodogne@gmail.com>
# Date 1438261874 -7200
# Node ID 0f8484114557ad9e58de5cc6db4411a82b77a6c2
# Parent  b6a80a5ac500126e51047dd8dfd139287d7892a2
fix

diff -r b6a80a5ac500 -r 0f8484114557 Resources/WindowsResources.py
--- a/Resources/WindowsResources.py	Thu Jul 30 15:09:40 2015 +0200
+++ b/Resources/WindowsResources.py	Thu Jul 30 15:11:14 2015 +0200
@@ -58,7 +58,7 @@
     sys.exit(-1)
 
 if len(v) == 2:
-    v.append(0)
+    v.append('0')
 
 extension = os.path.splitext(FILENAME)[1]
 if extension.lower() == '.dll':