[Minotaur-dev] [minotaur-solver/minotaur] 1d644c: bugfix in Problem::clone

[Ashutosh Mahajan]

  Branch: refs/heads/master
  Home:   https://github.com/minotaur-solver/minotaur
  Commit: 1d644c152b534d41aaae3cd16348986b59c66862
      https://github.com/minotaur-solver/minotaur/commit/1d644c152b534d41aaae3cd16348986b59c66862
  Author: Ashutosh Mahajan <amahajan at iitb.ac.in>
  Date:   2019-07-22 (Mon, 22 Jul 2019)

  Changed paths:
    M src/base/Problem.cpp

  Log Message:
  -----------
  bugfix in Problem::clone


  Commit: e64ac342e00642c8f3ff81a12b2e4ae40a4a89ce
      https://github.com/minotaur-solver/minotaur/commit/e64ac342e00642c8f3ff81a12b2e4ae40a4a89ce
  Author: Ashutosh Mahajan <amahajan at iitb.ac.in>
  Date:   2019-07-22 (Mon, 22 Jul 2019)

  Changed paths:
    M src/algorithms/McBnb.cpp
    M src/base/ParPCBProcessor.cpp

  Log Message:
  -----------
  Merge branch 'master' of github:minotaur-solver/minotaur


Compare: https://github.com/minotaur-solver/minotaur/compare/92d7f2561aa3...e64ac342e006