arduino/Arduino — pull request #1131 by sgk (2012-11-25 07:09:01+00:00)
Title: Hack to include phrases from "platform.txt".

These phrases from "platform.txt" should be included in the "*.po" files.
"Arduino AVR Boards"
"Arduino ARM (32-bits) Boards"
This patch is a hack to do so.
See commit 9e25ad57db.