On 12/23/2016 07:58 PM, Tom Tromey wrote: >>>>>> "Tom" == Tom Tromey <tom@tromey.com> writes: > > Tom> It looks good to me. I've made this change and I'll send the new > Tom> patches soon. > > Here's the new patch to add scoped_value_mark. OK, thanks. Thanks, Pedro Alves