Closed andreaslundell closed 4 years ago
Fixed in https://github.com/coin-or/SHOT/commit/37951350b0271a92e6e9931e5293a6b9891be507.
Fixed in https://github.com/coin-or/SHOT/commit/37951350b0271a92e6e9931e5293a6b9891be507.