From f4d2cdf36a07d052ffefc1dcd1486bd17ba8beec Mon Sep 17 00:00:00 2001 From: Russ Allbery Date: Sun, 26 Aug 2018 17:54:57 -0700 Subject: Remove debian/source/options * Remove debian/source/options configuration to force xz compression, which is now the default. --- debian/changelog | 2 ++ debian/source/options | 1 - 2 files changed, 2 insertions(+), 1 deletion(-) delete mode 100644 debian/source/options diff --git a/debian/changelog b/debian/changelog index df0dc86..b988ea3 100644 --- a/debian/changelog +++ b/debian/changelog @@ -4,6 +4,8 @@ krb5-sync (3.1-2) UNRELEASED; urgency=medium Vcs-Git accordingly. * Remove debian/source/local-options and local-patch-header and switch to normal patch management. + * Remove debian/source/options configuration to force xz compression, + which is now the default. -- Russ Allbery Sun, 26 Aug 2018 17:52:39 -0700 diff --git a/debian/source/options b/debian/source/options deleted file mode 100644 index b7bc1f2..0000000 --- a/debian/source/options +++ /dev/null @@ -1 +0,0 @@ -compression = "xz" -- cgit v1.2.3