Merge branch 'maint-1.2' into maint-1.3

jan-cerny · jan-cerny · commit 10af6a984b6d · 2019-06-13T07:58:50.000+02:00
Conflicts:
	release_tools/versions.sh
diff --git a/release_tools/versions.sh b/release_tools/versions.sh
@@ -1,6 +1,6 @@
 version=1.3.1
 previous_version=1.3.0
-latest_fedora=30
-latest_rhel=7
+latest_fedora=31
+latest_rhel=8
 
 version_major_minor="${version%.*}"
