2011-11-15 Tom de Vries <tom@codesourcery.com>