Search not working anymore at mbed.org

14 May 2011

Hi,

Anyone else having issues with Search not working anymore on mbed.org since their upgrade this morning?

Serge

14 May 2011

Indeed, I get the same problem Ivo

14 May 2011

Indeed, I get the same problem.

15 May 2011

Thanks - search wasn't re-started when it should have been. Now fixed.