[crux-commits] ports/contrib (3.7): coin-or-osi: 0.108.10 -> 0.108.11

Commit hash: c9a64d2873cc2018a53220dd4e883f374e7971b1 Author: Tim Biermann <tbier@posteo.de> Date: Tue Aug 20 06:10:19 2024 UTC+02:00 URL: https://git.crux.nu/ports/contrib/commit/c9a64d2873cc2018a53220dd4e883f374e7... Commit message: coin-or-osi: 0.108.10 -> 0.108.11