[GitHub] incubator-quickstep issue #113: Optimizer changes for the LIPFilter feature.

2016-10-16 Thread pateljm
Github user pateljm commented on the issue: https://github.com/apache/incubator-quickstep/pull/113 @jianqiao Nice! LGTM. If you squash the commits to one and rebase, I can merge. --- If your project is set up for it, you can reply to this email and have your reply appear on GitHub a

[GitHub] incubator-quickstep issue #113: Optimizer changes for the LIPFilter feature.

2016-10-16 Thread jianqiao
Github user jianqiao commented on the issue: https://github.com/apache/incubator-quickstep/pull/113 @pateljm Thanks! Will sit together with Harshad tomorrow to go through the code once more. Perhaps it's safer to merge the PR after that. --- If your project is set up for it, you can