On Sep 10, 2012, at 4:55 PM, Jonathan Herman wrote: > I can't reproduce this bug using 2012.2. If this bug reappears and we > can reproduce it, we'll integrate the new patch. For now, let's hold > off. Jeremy, did you have a chance to reproduce the patch? Is it still needed? Thanks, Björn