Hi Eugene, 

I think I did run into this problem before, and had to turn of split-objs temporarily to work around it. I'd appreciate a fix.

Best,
Ozgur

On 11 January 2012 14:14, Eugene Kirpichov <ekirpichov@gmail.com> wrote:
Now my original question remains - is such a change a good idea?
(I've already found the place in code where the fix has to be made; should take an hour of work at most)