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.
Received on Friday, 13 May 2016 07:10:26 UTC