[webrtc-pc] Closed Pull Request: Updating build configuration

martinthomson has just closed pull request 443 for 
https://github.com/w3c/webrtc-pc:

== Updating build configuration ==
This depends on w3c/webrtc-respec-ci#6.  I will add a bogus commit to 
test that it works on this branch first, then I will await the landing
 of the dependency.

See https://github.com/w3c/webrtc-pc/pull/443