On Fri, Sep 19, 2014 at 6:41 AM, Tom de Vries <tom_devr...@mentor.com> wrote:
> So it's a question of predictability (always do the same or do nothing) vs. > robustness (do as much as you can given the circumstances). I'm not sure > which one is better in this case. I think it's fine the way it is now. Thanks for the patch. Looks fine to me. Diego.