Closed mlubin closed 4 years ago
RIP
On Sun, Sep 6, 2020, 9:49 PM Miles Lubin notifications@github.com wrote:
@odow https://github.com/odow @juan-pablo-vielma https://github.com/juan-pablo-vielma @IainNZ https://github.com/IainNZ @joehuchette https://github.com/joehuchette @blegat https://github.com/blegat @joaquimg https://github.com/joaquimg
You can view, comment on, or merge this pull request online at:
https://github.com/JuliaOpt/juliaopt.github.io/pull/141 Commit Summary
- End of JuliaOpt
File Changes
- M index.md https://github.com/JuliaOpt/juliaopt.github.io/pull/141/files#diff-d680e8a854a7cbad6d490c445cba2eba (16)
Patch Links:
- https://github.com/JuliaOpt/juliaopt.github.io/pull/141.patch
- https://github.com/JuliaOpt/juliaopt.github.io/pull/141.diff
— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/JuliaOpt/juliaopt.github.io/pull/141, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAFJDGZLQJTTFN34GKJ6Q3TSEQ32JANCNFSM4Q5HD7TQ .
End of an era!
@odow @juan-pablo-vielma @IainNZ @joehuchette @blegat @joaquimg