W3C home > Mailing lists > Public > ietf-http-wg@w3.org > July to September 2013

Re: [#156] Pushing HEAD

From: Roberto Peon <grmocg@gmail.com>
Date: Mon, 1 Jul 2013 17:03:28 -0700
Message-ID: <CAP+FsNedpmU5jFiPPwF9RyAN0LjKD-jj9WSa77+DKvgwqHmB4g@mail.gmail.com>
To: Martin Thomson <martin.thomson@gmail.com>
Cc: HTTP Working Group <ietf-http-wg@w3.org>
Yes, we want to be able to do that!
-=R
On Jul 1, 2013 4:55 PM, "Martin Thomson" <martin.thomson@gmail.com> wrote:

> James tried to sneak in the ability to use server push for HEAD in
> #151. I backed out those changes, but I do think that we do want to do
> this. I just need a clear signal that we have consensus to add the
> feature.
>
> p.s. this wont make it into -04
> p.p.s. github is super-unicorny today \:-(
>
>
Received on Tuesday, 2 July 2013 00:03:54 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:14:14 UTC