[Minotaur-dev] [minotaur-solver/minotaur] 1bc7c0: Latest PR handler.

[Meenarli Sharma]

  Branch: refs/heads/master
  Home:   https://github.com/minotaur-solver/minotaur
  Commit: 1bc7c0f0407e181a2884a078411ce842c4d86627
      https://github.com/minotaur-solver/minotaur/commit/1bc7c0f0407e181a2884a078411ce842c4d86627
  Author: meenarli <kukku.meenarli at gmail.com>
  Date:   2020-07-23 (Thu, 23 Jul 2020)

  Changed paths:
    M src/base/PerspCon.cpp
    M src/base/PerspCon.h

  Log Message:
  -----------
  Latest PR handler.


  Commit: d2ae4305a71dff47f1a3c16bb478be98c9fa41ad
      https://github.com/minotaur-solver/minotaur/commit/d2ae4305a71dff47f1a3c16bb478be98c9fa41ad
  Author: meenarli <kukku.meenarli at gmail.com>
  Date:   2020-07-23 (Thu, 23 Jul 2020)

  Changed paths:
    M src/algorithms/Glob.cpp
    M src/base/NlPresHandler.cpp

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


Compare: https://github.com/minotaur-solver/minotaur/compare/9afa5867d703...d2ae4305a71d