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

[#156] Pushing HEAD

From: Martin Thomson <martin.thomson@gmail.com>
Date: Mon, 1 Jul 2013 16:53:28 -0700
Message-ID: <CABkgnnW0JK7+atn_yP=mUcsQU3YApXxjCXFJ8eQyDsLDCiHBeA@mail.gmail.com>
To: HTTP Working Group <ietf-http-wg@w3.org>
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

p.s. this wont make it into -04
p.p.s. github is super-unicorny today \:-(
Received on Monday, 1 July 2013 23:53:56 UTC

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