JuliaOpt/JuMP.jl — pull request #306 by mlubin (2014-11-13 06:43:39+00:00)
Title: fix #301

Waiting for #300 to merge to avoid conflicts.