25 Jan
2014
25 Jan
'14
7:50 a.m.
At Fri, 24 Jan 2014 10:54:13 -0700, Eric Blake wrote:
On 01/23/2014 08:24 AM, Claudio Bley wrote:
At Tue, 10 Dec 2013 13:45:05 +0100, Michal Privoznik wrote:
On 08.12.2013 23:57, Dan Kenigsberg wrote:
Note to reviewers: this patch is too naive and has devastating effect of headers that lack a named anchor element. Still, I'd love to hear your opinion about the idea.
I like the idea - I often find myself in the same situation, but if we decide to merge this, we need to fix some issues:
I like the idea too.
Works for me if you squash this in:
ACK; Claudio, since you have the adjustment required in your local tree, can you push the overall patch?
Sure, I can do it on Monday, if nobody else did it until then. Claudio --