Version 1.19.0-dev.7.3
Cherry-pick ca74c20f7a566761747459e38d3986de96afb28b into dev
diff --git a/tools/VERSION b/tools/VERSION
index 2fecdd8..53737b9 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -28,4 +28,4 @@
MINOR 19
PATCH 0
PRERELEASE 7
-PRERELEASE_PATCH 2
+PRERELEASE_PATCH 3
diff --git a/tools/create_debian_packages.py b/tools/create_debian_packages.py
index 4a6dddb..d267e80 100755
--- a/tools/create_debian_packages.py
+++ b/tools/create_debian_packages.py
@@ -101,7 +101,7 @@
source_package = [
'%s-1.dsc' % debbase,
'%s.orig.tar.gz' % debbase,
- '%s-1.debian.tar.gz' % debbase
+ '%s-1.debian.tar.xz' % debbase
]
i386_package = [
'%s-1_i386.deb' % debbase