[Bug 17724] MIDI API naming

https://www.w3.org/Bugs/Public/show_bug.cgi?id=17724

--- Comment #3 from Jussi Kalliokoski <jussi.kalliokoski@gmail.com> 2012-08-12 15:04:00 UTC ---
"device" prefixes removed:
 * https://dvcs.w3.org/hg/audio/rev/8a31db30feb2
 * https://dvcs.w3.org/hg/audio/rev/6e7e48ed2d82

(I forgot to include deviceType at the first attempt ;)

-- 
Configure bugmail: https://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Sunday, 12 August 2012 15:04:02 UTC