2011-10-19 Tom de Vries <tom@codesourcery.com>