Tag Gurobi v0.1.12
Merge pull request #578 from mlubin/pull-request/dc41c962

Tag Gurobi v0.1.12