config: Use python3 instead of python

diff --git a/src/lib-settings/settings-history.py b/src/lib-settings/settings-history.py
index 2ddcbf6aa63c2c88bcefe19d03f05c598c10c0b3..d7876a210aab2174404f21ec0ea51efc53d4524d 100755 (executable)
--- a/src/lib-settings/settings-history.py
+++ b/src/lib-settings/settings-history.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
 
 """Generate history structs for renamed settings and changed default values."""