- From: Harald Alvestrand <harald@alvestrand.no>
- Date: Wed, 29 Apr 2015 10:36:46 +0200
- To: Dominique Hazael-Massieux <dom@w3.org>, public-webrtc-editors@w3.org
Den 29. april 2015 10:27, skrev Dominique Hazael-Massieux: > On 24/04/2015 10:32, Harald Alvestrand wrote: >> Can you file a bug with them (or find a bug to attach to) saying "we >> need getter support"? > > I have instead filed a pull request that adds the necessary support: > https://github.com/w3c/respec/issues/427 > > Hopefully it will be merged soon. > > Dom > > > Great! https://github.com/w3c/respec/pull/431 seemed like a better PR... (#427 was an irrelevant bug) Thanks!
Received on Wednesday, 29 April 2015 08:37:16 UTC