From 84aafcc206ffa11d38c7e5bd2c7d68fcf58ca17b Mon Sep 17 00:00:00 2001
From: Richard Biener <rguenth@gcc.gnu.org>
Date: Tue, 3 Sep 2013 10:06:16 +0000
Subject: [PATCH] configure.ac: Also allow ISL 0.12.

2013-09-03  Richard Biener  <rguenther@suse.de>

	* configure.ac: Also allow ISL 0.12.
	* configure: Regenerated.

From-SVN: r202207
---
 ChangeLog | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 8fae3d2b2ca..1c74171eb2e 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2013-09-03  Richard Biener  <rguenther@suse.de>
+
+	* configure.ac: Also allow ISL 0.12.
+	* configure: Regenerated.
+
 2013-08-30  Bernd Edlinger  <bernd.edlinger@hotmail.de>
 
 	* MAINTAINERS (Write After Approval): Add myself.