Bug reports about Arduino core + libraries to ... ?

Where does one report $SUBJECT to? No bugtracker...? Thanks.

Hi, bug reports for the arduino core and internal libraries go to
http://code.google.com/p/arduino/issues/list

The code itself is at

(I really don't know why code and issues list are kept in two different places...)

Eberhard

Thanks muchly. I don't really care where they are (with the Internet everything is everywhere :slight_smile: ) but not mentioning this on arduino.cc where they're asking for help is a bit unwise.