I undid the offending change from r12471. It tried to fix the less important bug 1208002. Fixing that one needs more thought. committed in r12506
I undid the offending change from r12471. It tried to fix the less important bug 1208002. Fixing that one needs more thought.
committed in r12506