On 09/29/2017 03:59 AM, Tom Tromey wrote: > Tom> I didn't see that so I just made a new file. > > I pulled and saw the file, so I moved the new tests there. Sorry, I shouldn't have assumed you'd see it. This version is OK. Thanks, Pedro Alves