Re: [openscreenprotocol] Adds Remote Playback API requirements. (#162) from Mark Foltz \(Google\) via GitHub on 2019-05-14 (public-webscreens@w3.org from May 2019)

From: Mark Foltz \(Google\) via GitHub <sysbot+gh@w3.org>
Date: Tue, 14 May 2019 20:46:59 +0000
To: public-webscreens@w3.org
Message-ID: <issue_comment.created-492403438-1557866818-sysbot+gh@w3.org>

Thanks for the tip on Travis.  It hasn't been a big issue to manually regenerate files so far, but as we have more contributors it would be helpful to add automation in the future.

-- 
GitHub Notification of comment by mfoltzgoogle
Please view or discuss this issue at https://github.com/webscreens/openscreenprotocol/pull/162#issuecomment-492403438 using your GitHub account

Received on Tuesday, 14 May 2019 20:47:01 UTC