[PRQ#39532] Merge Request for isl15 Accepted

[notify]

Request #39532 has been Accepted by tpkessler [1]:

[Autogenerated] Accepted merge for isl15 into libisl15.

[1] https://aur.archlinux.org/account/tpkessler/