[openscreenprotocol] new commits pushed by tidoust

The following commits were just pushed by tidoust to https://github.com/webscreens/openscreenprotocol:

* Deploy to GitHub Pages: a5e70254a8f40c21e77f0afbde21cee692361b5f
  by Travis CI
https://github.com/webscreens/openscreenprotocol/commit/88a031d8ba5b047510760a54ad3e9a85dc894170

Received on Tuesday, 1 October 2019 18:25:21 UTC