Closed andreaslundell closed 3 years ago
Needed in #106.
Fixed in https://github.com/coin-or/SHOT/pull/106.
Needed in #106.