2012-07-06 Tom de Vries <tom@codesourcery.com>