[Minotaur-dev] [minotaur-solver/minotaur] ef0112: updating handlers

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/minotaur-solver/minotaur
  Commit: ef011255cd19bd0ce8bf0ffe2c20b13752b0e3bf
      https://github.com/minotaur-solver/minotaur/commit/ef011255cd19bd0ce8bf0ffe2c20b13752b0e3bf
  Author: Vinay Chourasiya <vinayi.chourasia5 at gmail.com>
  Date:   2019-01-24 (Thu, 24 Jan 2019)

  Changed paths:
    M src/base/PerspCutHandler.cpp
    M src/base/PerspCutHandler.h
    M src/base/QGHandler.cpp
    M src/base/SOS1Handler.cpp
    M src/base/SOS1Handler.h
    M src/base/SOS2Handler.cpp
    M src/base/SOS2Handler.h

  Log Message:
  -----------
  updating handlers



      **NOTE:** GitHub Services has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/

      We will provide an alternative path for the email notifications by January 31st, 2019.