Thanks for your comments. I totally we shouldn't copy the context if it's not needed. I'll make dedicated merge proposals when I stumble upon a suspect context mutation, to either make a copy or add an explicit comment. Lionel.
Thanks for your comments. I totally we shouldn't copy the context if it's not needed. I'll make dedicated merge proposals when I stumble upon a suspect context mutation, to either make a copy or add an explicit comment.
Lionel.