Arduino 0010 now available

Hi,

... the developers list is the place for this kind of discussion, though I didn't do a great job of announcing the change there either (although there were a series of pre-releases with the new directory structure).

I'm not checking the pre-releases, and probably will not in the future, but if you could send a 2 minutes... no make that 2 days :slight_smile: ... warning on the developers mailing list, I'll be fine
Thanks in advance

Eberhard