- From: Chris Lilley <chris@w3.org>
- Date: Fri, 15 Mar 2019 16:22:41 +0200
- To: "public-audio@w3.org Group" <public-audio@w3.org>, cwilso@google.com
Hi The last publication of Web MIDI was four years ago, 17 March 2015 https://www.w3.org/TR/webmidi/ While there hasn't been a huge amount of change, the editors draft does have some updates and is more recent, with several issues updated. Last edit 17 December 2018 https://github.com/WebAudio/web-midi-api/commits/gh-pages/index.html http://webaudio.github.io/web-midi-api/ This is just a Working Draft not a Candidate Recommendation, so republishing merely requires this group to agree to do so, and then I can take care of the rest. Chris, are there any important pending edits that you want to fold in before that happens? I see one issue marked `ready for editing` although that label was added in 2015 so maybe it isn't something that can be folded in quickly: MIDI API should be available from Workers? #99 https://github.com/WebAudio/web-midi-api/issues/99 instead, the best approach and v.1/v.next should probably be discussed on a call. -- Chris Lilley @svgeesus Technical Director @ W3C W3C Strategy Team, Core Web Design W3C Architecture & Technology Team, Core Web & Media
Received on Friday, 15 March 2019 14:23:15 UTC