On Wed, 14 Jan 2009 19:53:42 +0100, Jonas Sicking <jo...@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/>

Reply via email to