On Mon, Jan 30, 2012 at 12:31:47AM +0100, Denis 'GNUtoo' Carikli wrote:
> The Openmoko GTA01 machine has been removed from the machine ID database,
>   so we need to remove references to it as well.

Applied, thanks.