Thanks!
On Wed, May 15, 2013 at 3:05 AM, Jonathan Wakely <jwakely....@gmail.com> wrote: > On 14 May 2013 10:56, Jonathan Wakely wrote: >> On 14 May 2013 10:45, Evgeniy Stepanov wrote: >>> This must have fallen through the cracks. >> >> It's still in my Git branch at home. I've been too busy to push any >> commits recently, but I haven't forgotten it. >> >> >>> I realized we also need it in the 4_7 branch. Could you backport the >>> change there, too, if it is not too much trouble? >> >> Yes, for such a small, safe change I'm happy to apply it to the 4.7 branch >> too. > > Done.
