commit f27018a853cfe3c002b821c0968d62a3f05e3e4a
author William Hesse <whesse@google.com> Tue Aug 23 11:33:46 2016 +0200
committer William Hesse <whesse@google.com> Tue Aug 23 11:33:46 2016 +0200
tree 13c1d3a5014afdb07def2adf1c995f643c47ee1e
parent 8284bd78d319f7b7a535e807da54ebe9b3d4eec9
parent 1a7832f1b5a0d1da72f3c727e04d3a6f7718af8a

Version 1.19.0-dev.7.3

Cherry-pick ca74c20f7a566761747459e38d3986de96afb28b into dev

tools/VERSION

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

tools/create_debian_packages.py

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