Homebrew/homebrew — pull request #29169 by Noctem (2014-05-12 10:35:12+00:00)
Title: isl 0.12.2

Update to 0.12.2.

0.13 is also out, but we may want to wait on that as gcc (and presumably others) are not yet compatible with it.