[remote-playback] Pull Request: Mark Anton Vayvod as former editor. from Mounir Lamouri via GitHub on 2017-08-04 (public-secondscreen@w3.org from August 2017)

From: Mounir Lamouri via GitHub <sysbot+gh@w3.org>
Date: Fri, 04 Aug 2017 07:25:27 +0000
To: public-secondscreen@w3.org
Message-ID: <pull_request.opened-134106012-1501831524-sysbot+gh@w3.org>

mounirlamouri has just submitted a new pull request for https://github.com/w3c/remote-playback:

== Mark Anton Vayvod as former editor. ==
Respec doesn't offer an option to declare an editor as retired semantically (see [bug](https://github.com/w3c/respec/issues/1097)), contrary to bikeshed. Marking this as a note instead.

@avayvod PTAL :)

See https://github.com/w3c/remote-playback/pull/96

Received on Friday, 4 August 2017 07:25:29 UTC