# exported from git by git-debcherry
0001-topic-destdir-Add-DESTDIR-support-for-all-install-co.patch
0002-menu-Tweak-the-Debian-menu-files-for-official-packag.patch
