Remove obsolete debian/source/options

* Remove obsolete debian/source/options that was forcing the compression
  format to xz (now the default).

diff --git a/debian/changelog b/debian/changelog
index 4a9ee4c53db7c59b26882f1dc89d30f12b1174c3..82402268d66482993422b6c5c01f5abe8d8974f3 100644 (file)
--- a/debian/changelog
+++ b/debian/changelog
@@ -9,6 +9,8 @@ krb5-strength (3.1-2) UNRELEASED; urgency=medium
   * Update to debhelper compatibility levl V11.
   * Bump debian/watch version to 4 and use https.
   * Add upstream-vcs-tag configuration to debian/gbp.conf.
+  * Remove obsolete debian/source/options that was forcing the compression
+    format to xz (now the default).
   * Refresh upstream signing key.
 
  -- Russ Allbery <rra@debian.org>  Fri, 31 Aug 2018 16:48:21 -0700

diff --git a/debian/source/options b/debian/source/options
deleted file mode 100644 (file)
index b7bc1f2..0000000
--- a/debian/source/options
+++ /dev/null
@@ -1 +0,0 @@
-compression = "xz"