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

The code itself is at

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


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.