Hi: Do you also need to retitle and merge 10015 and 10681? These were the similar bugs you mentioned when I first reported the issue.
Peter On 2013-01-28, at 7:56 AM, Ludovic Courtès wrote: > retitle 13342 Clang, the FFI, and 8-bit signed integers > merge 13342 13386 > thanks