[m-rev.] for review: Fix bug 271.

[Paul Bone]

On Fri, Jan 04, 2013 at 04:03:06PM +1100, Paul Bone wrote:
> 
> For review by Zoltan.
> 
> Branches: main, 12.08
> 
> Thense changes are waiting in github as pull requests for both the master and
> release branches.
> 
> Zoltan, could you check my understanding of the role of the existential
> veriables list in this code.  Or explain under shat situations my understanding
> does not work.
> 

I've committed these changes into the master branch.

I can address any review comments post-commit.

Thanks.

-- 
Paul Bone
http://www.bone.id.au