[openscreenprotocol] Pull Request: Merge PR #103 to gh-pages.

• From: Google <sysbot+gh@w3.org>
• Date: Fri, 21 Sep 2018 00:32:12 +0000
• To: public-webscreens@w3.org
• Message-ID: <pull_request.opened-217142381-1537489930-sysbot+gh@w3.org>

mfoltzgoogle has just submitted a new pull request for https://github.com/webscreens/openscreenprotocol:

== Merge PR #103 to gh-pages. ==
It looks like PR #103 was merged to another branch, but not to the top of tree.
This simply merges PR #103 into gh-pages.

See https://github.com/webscreens/openscreenprotocol/pull/106

Received on Friday, 21 September 2018 00:32:13 UTC