Closed darthunix closed 8 years ago
@darthunix In future PRs, you may want to aggregate commits, e.g., use git commit --amend
when you notice the "ooops" or use git rebase --interactive
to squash several commits. Having fewer individual commits also makes it easier to merge changes to other branches.
Thanks for advice. I promise to read git cookiebook on weekends)
A pull request, closing issue144 and closing TODOs in constraint.py.