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
--