New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/24424#issuecomment-710974319

Comment:
That makes sense.
Would it be possible to rename the older version from isl to isl12, and isl15 (currently at 0.19) to isl?
Or should I just submit a PR to update isl15?