[Minotaur-dev] [minotaur-solver/minotaur] 72004d: Build fixed, handlers updated

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/minotaur-solver/minotaur
  Commit: 72004dd8b06364be5ad541a10f708ec80bfb8753
      https://github.com/minotaur-solver/minotaur/commit/72004dd8b06364be5ad541a10f708ec80bfb8753
  Author: Ashutosh Mahajan <amahajan at iitb.ac.in>
  Date:   2019-01-24 (Thu, 24 Jan 2019)

  Changed paths:
    M src/base/PCBProcessor.cpp
    M src/base/RCHandler.cpp
    M src/base/SOS1Handler.cpp
    M src/base/SOS2Handler.cpp

  Log Message:
  -----------
  Build fixed, handlers updated



      **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.