mBuino on mbed

Simple question: When?

Hopefully soon.

mbed people are fixing something for mbuino according to GHI:

https://www.ghielectronics.com/community/forum/topic?id=15929&page=6#msg162165

We are currently working with mbed to fix something on the mbed side.