github-actions[bot]
commented
4 years ago This issue is stale because it has been open 30 days with no activity. Remove stale label or comment or this will be closed in 5 days
Closed blegat closed 4 years ago
github-actions[bot]
commented
4 years ago This issue is stale because it has been open 30 days with no activity. Remove stale label or comment or this will be closed in 5 days
See https://github.com/StructJuMP/StructJuMP.jl/pull/68#pullrequestreview-200260472