[#156] Pushing HEAD from Martin Thomson on 2013-07-01 (ietf-http-wg@w3.org from July to September 2013)

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

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 Monday, 1 July 2013 23:53:56 UTC