Control: tags -1 + patch The patch on the grub-integration branch seems ready to merge; any reason not to merge it?
- Josh Triplett -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
