Closed whirm closed 3 years ago
Otherwise we'll be missing libisl19 as it's not available on later versions.
Ah, my mistake. I thought that this was a report of an issue (and not a PR). I fixed it.
Otherwise we'll be missing libisl19 as it's not available on later versions.