diff --git a/debian/changelog b/debian/changelog
index 6a8bc3a0d..d602a1db2 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -300,6 +300,8 @@ linux (4.19.2-1~exp1) UNRELEASED; urgency=medium
   * Move generation of CONFIG_BUILD_SALT to gencontrol.py
   * [x86] hyperv-daemons: Make all services conditional on device existence
   * debian/rules.real: Fix build failure with pkg.linux.nosource profile
+  * debian/source/options: Delete redundant compression setting; satisfy
+    lintian
 
   [ Karsten Merker ]
   * [riscv64] Build a kernel image and udebs for riscv64 (Closes: #908161)
diff --git a/debian/source/options b/debian/source/options
deleted file mode 100644
index b7bc1f2b7..000000000
--- a/debian/source/options
+++ /dev/null
@@ -1 +0,0 @@
-compression = "xz"