Re: [w3c/push-api] Run tidy (#249)

Merged #249.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/pull/249#event-1048406925

Received on Wednesday, 19 April 2017 11:56:08 UTC