log debian/source/options @ 6937:47b41d441ff3 stable tip

age author description
Sun, 05 Jul 2020 16:32:08 +0800 Anton Shestakov packaging: update extend-diff-ignore regex
Tue, 15 Oct 2019 11:39:58 +0200 Denis Laxalde debian: define extend-diff-ignore for dpkg-source stable