It looks like it fixed the issue. I have pushed the update to w3.org.
Ivan, can you check?
On Mon, Dec 22, 2014 at 11:07 AM, Tobie Langel <tobie.langel@gmail.com>
wrote:
>
> On Mon, Dec 22, 2014 at 6:05 PM, Robin Berjon <robin@w3.org> wrote:
>
>> Yes, that could very easily be the cause of the problem. In fact, I'm
>> pretty sure it was: I just made a change that ought to fix that.
>
>
> I was actually wondering why that changed had been made and thought there
> was a valid reason to move it back.
>
> Should have asked on the PR.
>
> Mea culpa.
>
> --tobie
>
--
Shane McCarron
Managing Director, Applied Testing and Technology, Inc.