tree 06b0e834c9247c3c57109bfc7bcdf05e6cb02297
parent ec232d2920a84930b077414b60b5985e076ae228
parent 399c3345e0f76f583d830cd7da27518bbb00c91a
author Gustavo Niemeyer <gustavo@niemeyer.net> 1394803180 -0300
committer Gustavo Niemeyer <gustavo@niemeyer.net> 1394803180 -0300

Merge pull request #3 from adeuring/1243827

Fix LP bug 1243827