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 [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]

Reply via email to