diff options
| author | Russ Allbery <eagle@eyrie.org> | 2018-08-26 17:54:57 -0700 |
|---|---|---|
| committer | Russ Allbery <eagle@eyrie.org> | 2018-08-26 17:54:57 -0700 |
| commit | f4d2cdf36a07d052ffefc1dcd1486bd17ba8beec (patch) | |
| tree | 9717806ba965a499591e2fc96ae052252ec0bd18 | |
| parent | 540cf9fe4f203129fa55f3affe896b671a74ed6a (diff) | |
Remove debian/source/options
* Remove debian/source/options configuration to force xz compression,
which is now the default.
| -rw-r--r-- | debian/changelog | 2 | ||||
| -rw-r--r-- | debian/source/options | 1 |
2 files changed, 2 insertions, 1 deletions
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 <rra@debian.org> 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" |