[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|RESOLVED                    |CLOSED

--- Comment #7 from Olivier Thereaux <olivier.thereaux@bbc.co.uk> ---
(In reply to comment #6)
> I withdraw my object.

Anything in particular convinced you? 

It now seems we have reached consensus with no other objection in almost a
month. Closing.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Thursday, 15 November 2012 08:27:50 UTC