mlubin opened this issue 8 years ago · 1 comments
Opening this to keep track of notebooks which haven't been updated yet for the big renaming in JuMP 0.13. Ping @Shuvomoy
Let's close this