On 06/17/2016 09:41 AM, Tom Tromey wrote: > Here's an updated version of this patch that I think addresses all > review comments. LGTM, thanks. (But see the other email.) -- Pedro Alves