Closed mmghannam closed 9 months ago
Follow up from https://github.com/rust-or/good_lp/pull/38
Fixed in #111
Follow up from https://github.com/rust-or/good_lp/pull/38