Add /usr/bin/env python3 shebang to gen_version.py

diff --git a/gen_version.py b/gen_version.py
index 1c307210de71ae9cf892ab0bb1233d5dd51920d1..201af59c0521ba373eaf9c647c7305ff2041e49b 100644 (file)
--- a/gen_version.py
+++ b/gen_version.py
@@ -1,3 +1,5 @@
+#!/usr/bin/env python3
+
 # Generate version
 #
 # Stable release entry format     : <major>.<minor>.>patch>