OK, will do. I'm also planning to do a hard git reset to remove the
original patch, since much of it is no longer wanted anyway. I'll mail
out a diff of what has changed relative to that original submission as
just a regular "diff -ru" so previous reviewers can see what has changed.
--
Chris Metcalf, Tilera Corp.
http://www.tilera.com
--