mbedmicro/mbed — pull request #717 by Sissors (2014-11-17 17:10:19+00:00)
Title: [USBDevice] Fix K20D50M name

Since it was initially K20D5M the name is still wrong in USBDevice. This
should fix it.