Hi Thierry, > I /think/ Jeremy Kerr (To'ed) would be a good person to contact about > this. > > Jeremy, anything you can do about this? OK, all sorted. I've updated Jerome's entry in the database to suit. Cheers, Jeremy -- To unsubscribe from this list: send the line "unsubscribe devicetree" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
