Michael Banck 8a65afb554 * debian/patches/coverage_binary.patch: Removed, and replaced with ... ... * debian/patches/acceptance_tests_coverage_binary.patch: ... this patch, which is generally applicable.		2019-02-07 18:03:48 +01:00
debian	* debian/patches/coverage_binary.patch: Removed, and replaced with ...	2019-02-07 18:03:48 +01:00