From 803de996bded802712c235f72d66501a6d7be931 Mon Sep 17 00:00:00 2001
From: David Korth <gerbilsoft@gerbilsoft.com>
Date: Sat, 24 Dec 2022 12:39:27 -0500
Subject: [PATCH] [debian] source/options: Use slightly higher xz compression.

---
 debian/source/options | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 debian/source/options

diff --git a/debian/source/options b/debian/source/options
new file mode 100644
index 000000000..74a452b05
--- /dev/null
+++ b/debian/source/options
@@ -0,0 +1,2 @@
+compression = "xz"
+compression-level = 9