version: Fix "NameError: name 're' is not defined"

Looks like the import was just forgotten.

diff --git a/tools/helpers/version.py b/tools/helpers/version.py
index 887d1fbcd64536ef9976ddd1736abc04cea83e0f..bbfcd1a85ae82de3baae4e24a1018621d49a6de1 100644 (file)
--- a/tools/helpers/version.py
+++ b/tools/helpers/version.py
@@ -1,4 +1,5 @@
 import os
 import os

+import re

 
 def versiontuple(v):
     return tuple(map(int, (v.split("."))))
 
 def versiontuple(v):
     return tuple(map(int, (v.split("."))))