reassign 424223 grub2
merge 422708 424223
thanks

On Tue, May 15, 2007 at 10:44:18PM +0100, Sam Morris wrote:
> +    *.dpkg-dist) ;;
> +    *.dpkg-old) ;;

These ought to be skipped in other places, too.  Maybe we should include a
generic function for that in our shell library (when we have one, that is ;-)).

-- 
Robert Millan

My spam trap is [EMAIL PROTECTED]  Note: this address is only intended
for spam harvesters.  Writing to it will get you added to my black list.


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to