Is the correct way to report bugs for the debian-ARM port through the official debian-bug email address? Or should I post somewhere else?
/Johan