Comment 3 for bug 1058799

Revision history for this message
David Lichteblau (david-lichteblau) wrote :

Nevermind the above patch, which fixed more problems than it solved.
Attached version #2 of the patch.