Ben Reser wrote on Tue, Jun 11, 2013 at 09:53:59 +0100: > On Mon, Jun 10, 2013 at 9:35 AM, Daniel Shahaf <d...@daniel.shahaf.name> > wrote: > > Perhaps leave it in? It's little overhead to maintain and might make > > somebody's life easier. > > If you want to put it in that's fine. But at this point I don't think > it'll be in 1.8.0 since I merged the change removing it.
+1 to merge a change re-adding that header to 1.8.1 :-)
