hey notmuch folks--

if i try to do "make debian-snapshot", i see this warning:

dpkg-source: info: using options from notmuch/debian/source/options: --single-debian-patch --tar-ignore --tar-ignore=performance-test/download/*.tar.xz
dpkg-source: warning: --single-debian-patch is not a valid option for Dpkg::Source::Package::V3::Native


and sure enough debian/source/options contains single-debian-patch.   Is
there a reason this is there, or should it be removed?

      --dkg