[Minotaur-dev] [ashutoshmahajan/minotaur] 323932: Updating third-party libraries

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/ashutoshmahajan/minotaur
  Commit: 32393294e06da8155369a5a9ba036bc6b3d96b17
      https://github.com/ashutoshmahajan/minotaur/commit/32393294e06da8155369a5a9ba036bc6b3d96b17
  Author: Ashutosh Mahajan <amahajan at iitb.ac.in>
  Date:   2017-04-17 (Mon, 17 Apr 2017)

  Changed paths:
    M scripts/build_externals

  Log Message:
  -----------
  Updating third-party libraries


  Commit: 6e8fecc888965002b22ea4c87279cee7a4290e30
      https://github.com/ashutoshmahajan/minotaur/commit/6e8fecc888965002b22ea4c87279cee7a4290e30
  Author: Ashutosh Mahajan <amahajan at iitb.ac.in>
  Date:   2017-04-17 (Mon, 17 Apr 2017)

  Changed paths:
    M src/algorithms/qg.cpp
    M src/engines/FilterSQP/FilterSQPEngine.cpp

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


Compare: https://github.com/ashutoshmahajan/minotaur/compare/2c0c82b14dd1...6e8fecc88896