Tag JuMP v0.3.1
Merge branch 'metadata-v2' of git://github.com/JuliaLang/METADATA.jl into metadata-v2
Tag Gurobi v0.1.11
Merge pull request #561 from mlubin/pull-request/18d29d69

Pull request/18d29d69