GitHub PushEvent at 2014-06-19 02:09:16
Repository: JuMP.jl
Actor: joehuchette
Payload: {"shas":[["962cdc030190d569616a364ba84f7d1e2c291a21","6662c0aee3a2d5aaa7e612c6d1cd4693fa72586b@gmail.com","support 'continuous' SOS","Joey Huchette",true],["512a17dac3bfe9486ac6836a04655b2c11872fc2","6662c0aee3a2d5aaa7e612c6d1cd4693fa72586b@gmail.com","Merge branch 'master' of github.com:JuliaOpt/JuMP.jl","Joey Huchette",true]],"size":2,"ref":"refs/heads/master","head":"512a17dac3bfe9486ac6836a04655b2c11872fc2"}