On 10 September 2012 15:57, Andrew Stubbs <ams at codesourcery.com> wrote: > [...] > This patch fixes that bug and adds a comment to prevent others wasting their > time trying to figure it out like I did. Applied, thanks! -- Joel