Rubén Porras Thu, 12 Jun 2008 09:56:32 -0700
> Does this suggest that the patch is moot, and that we may close the ticket?
yes.