Re: Merging PR #616

Confirmed. The other pulls will just have to cope.

Den 13. mai 2016 08:48:56 CEST, skrev Dominique Hazael-Massieux <dom@w3.org>:
>On 10/05/2016 09:35, Adam Bergkvist wrote:
>
>> Right now we have quite a few PRs pending that would break. I just 
>> talked to Dom and he said that PR #616 is mostly generated with a
>script 
>> he has written. He said that it would be ok if we merge as much as we
>
>> can on Thursday and then give him a green light to generate a new
>WebIDL 
>> conversion patch and commit it directly.
>
>Can someone confirm that I can proceed with the conversion? I see there
>are 8 other pull requests left open in the repo, which will need severe
>rebasing if I proceed.
>
>Dom

-- 
Sent from my Android device with K-9 Mail. Please excuse my brevity.