[Bug 17724] MIDI API naming

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

Olivier Thereaux <olivier.thereaux@bbc.co.uk> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |olivier.thereaux@bbc.co.uk
         Resolution|                            |FIXED

--- Comment #4 from Olivier Thereaux <olivier.thereaux@bbc.co.uk> 2012-08-13 09:17:48 UTC ---
Sounds uncontroversial. 

Marking as FIXED, will close within a week if there is no objection.

-- 
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 Monday, 13 August 2012 09:17:49 UTC