[webkit-dev] Fwd: Rename TypeInfo - JSTypeInfo?

2008-09-23 Thread Kevin Ollivier
Hi all, I sent this message to the mailing list yesterday, but it seems it never made it, so I'm resending. Kevin Begin forwarded message: From: Kevin Ollivier [EMAIL PROTECTED] Date: September 22, 2008 12:13:24 PM PDT To: webkit-dev@lists.webkit.org Subject: Rename TypeInfo -

Re: [webkit-dev] Fwd: Rename TypeInfo - JSTypeInfo?

2008-09-23 Thread Kevin Ollivier
Hi David, Okay, will do! Thanks, and sorry for the spam. I didn't see the message in my own list archives, which is why I thought it never made it. Now I just have to figure out what happened on my end. ;-) Kevin On Sep 23, 2008, at 9:32 AM, David Kilzer wrote: Hi Kevin, The original

Re: [webkit-dev] Fwd: Rename TypeInfo - JSTypeInfo?

2008-09-23 Thread Maciej Stachowiak
On Sep 23, 2008, at 9:32 AM, David Kilzer wrote: Hi Kevin, The original message did make it to the list, but no one replied. I think the best approach is to simply create a bug on bugs.webkit.org and attach a patch for review (since the wx port is apparently the only one feeling the