2012-08-01 Tom de Vries <tom@codesourcery.com>