On Wed, 14 Jan 2009 19:53:42 +0100, Jonas Sicking <jonas@sicking.cc> wrote: > What do other people think? If we really think they should be different (and at least Adam Barth suggests that might not be needed) I would really like to rename this header to make it consistent with the rest of the API. (Of course, the semantics would be identical to what they are now.) -- Anne van Kesteren <http://annevankesteren.nl/> <http://www.opera.com/>Received on Wednesday, 14 January 2009 19:09:28 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 18:12:50 UTC